Włodzimierz Drabent

Available identifiers

zbMath Open drabent.wlodzimierzMaRDI QIDQ511026

List of research outcomes

Publication	Date of Publication	Type
A note on occur-check	2024-12-03	Paper
On Correctness and Completeness of an n Queens Program	2023-12-12	Paper
A relaxed condition for avoiding the occur-check	2023-09-21	Paper
On correctness of normal logic programs	2023-06-02	Paper
S-semantics -- an example	2023-05-08	Paper
The Prolog debugger and declarative programming	2022-08-25	Paper
Logic + control: on program construction and verification	2018-02-20	Paper
On definite program answers and least Herbrand models	2017-11-09	Paper
Correctness and completeness of logic programs	2017-07-12	Paper
Proving completeness of logic programs with the cut	2017-02-14	Paper
On negation as instantiation	2017-01-19	Paper
On completeness of logic programs	2015-10-02	Paper
Logic + control: an example	2014-02-25	Paper
A simple correctness proof for magic transformation	2012-12-27	Paper
Proving correctness and completeness of normal programs – a declarative approach	2006-01-03	Paper
https://portal.mardi4nfdi.de/entity/Q4736519	2004-08-09	Paper
Using parametric set constraints for locating errors in CLP programs	2004-03-01	Paper
https://portal.mardi4nfdi.de/entity/Q4499276	2001-03-05	Paper
Completeness of SLDNF-resolution for nonfloundering queries	1997-11-10	Paper
What is failure? An approach to constructive negation	1995-03-22	Paper
Strict completion of logic programs	1991-01-01	Paper
Inductive assertion method for logic pograms	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3776674	1987-01-01	Paper
Erratum to: Proving properties of Pascal programs in MIZAR 2	1986-01-01	Paper
Proving properties of Pascal programs in MIZAR 2	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3040509	1983-01-01	Paper

Research outcomes over time

This page was built for person: Włodzimierz Drabent