Drabent, Włodzimierz S-semantics – an example. (English) Zbl 1521.68029 De Angelis, Emanuele (ed.) et al., Logic-based program synthesis and transformation. 31st international symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13290, 60-74 (2022). MSC: 68N17 68Q55 PDFBibTeX XMLCite \textit{W. Drabent}, Lect. Notes Comput. Sci. 13290, 60--74 (2022; Zbl 1521.68029) 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; Małuszyński, Jan Inductive assertion method for logic pograms. (English) Zbl 0648.68019 Theor. Comput. Sci. 59, No. 1-2, 133-155 (1988). MSC: 68Q60 68T15 PDFBibTeX XMLCite \textit{W. Drabent} and \textit{J. Małuszyński}, Theor. Comput. Sci. 59, No. 1--2, 133--155 (1988; Zbl 0648.68019) Full Text: DOI