Włodzimierz Drabent

Available identifiers

zbMath Open drabent.wlodzimierzMaRDI QIDQ511026

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q5398068	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Włodzimierz Drabent