Drabent, Włodzimierz On correctness and completeness of an \(n\) queens program. (English) Zbl 07776333 Theory Pract. Log. Program. 22, No. 1, 37-50 (2022). MSC: 68N17 05B15 68Q60 90C27 PDFBibTeX XMLCite \textit{W. Drabent}, Theory Pract. Log. Program. 22, No. 1, 37--50 (2022; Zbl 07776333) Full Text: DOI arXiv OA License
Drabent, Włodzimierz Logic + control: on program construction and verification. (English) Zbl 1425.68051 Theory Pract. Log. Program. 18, No. 1, 1-29 (2018). MSC: 68N17 68Q60 PDFBibTeX XMLCite \textit{W. Drabent}, Theory Pract. Log. Program. 18, No. 1, 1--29 (2018; Zbl 1425.68051) Full Text: DOI arXiv
Drabent, Włodzimierz On definite program answers and least Herbrand models. (English) Zbl 1379.68056 Theory Pract. Log. Program. 16, No. 4, 498-508 (2016). MSC: 68N17 03B70 68Q55 PDFBibTeX XMLCite \textit{W. Drabent}, Theory Pract. Log. Program. 16, No. 4, 498--508 (2016; Zbl 1379.68056) Full Text: DOI arXiv
Drabent, Włodzimierz A simple correctness proof for magic transformation. (English) Zbl 1255.68050 Theory Pract. Log. Program. 12, No. 6, 929-936 (2012). MSC: 68N17 68N30 68Q55 PDFBibTeX XMLCite \textit{W. Drabent}, Theory Pract. Log. Program. 12, No. 6, 929--936 (2012; Zbl 1255.68050) Full Text: DOI arXiv
Drabent, Włodzimierz; Miłkowska, Mirosława Proving correctness and completeness of normal programs – a declarative approach. (English) Zbl 1083.68018 Theory Pract. Log. Program. 5, No. 6, 669-711 (2005). MSC: 68N17 PDFBibTeX XMLCite \textit{W. Drabent} and \textit{M. Miłkowska}, Theory Pract. Log. Program. 5, No. 6, 669--711 (2005; Zbl 1083.68018) Full Text: DOI
Drabent, Włodzimierz; Małuszyński, Jan; Pietrzak, Paweł Using parametric set constraints for locating errors in CLP programs. (English) Zbl 1105.68324 Theory Pract. Log. Program. 2, No. 4-5, 549-610 (2002). MSC: 68N17 PDFBibTeX XMLCite \textit{W. Drabent} et al., Theory Pract. Log. Program. 2, No. 4--5, 549--610 (2002; Zbl 1105.68324) Full Text: DOI