Pierre Deransart

Available identifiers

zbMath Open deransart.pierreMaRDI QIDQ685394

List of research outcomes

Publication	Date of Publication	Type
Logic Programming	2009-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q4472446	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4413066	2003-07-17	Paper
https://portal.mardi4nfdi.de/entity/Q2763644	2002-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q4939291	2000-02-23	Paper
https://portal.mardi4nfdi.de/entity/Q4875865	1996-04-25	Paper
https://portal.mardi4nfdi.de/entity/Q4873717	1996-04-17	Paper
Proof method of partial correctness and weak completeness for normal logic programs	1994-11-13	Paper
Proof methods of declarative properties of definite programs	1994-03-20	Paper
Attribute grammars. Definitions, systems and bibliography	1993-06-05	Paper
An operational formal definition of PROLOG: A specification method and its application	1992-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q3204030	1989-01-01	Paper
Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3830550	1988-01-01	Paper
Relating logic programs and attribute grammars	1985-01-01	Paper
Speeding up circularity tests for attribute grammars	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3922139	1981-01-01	Paper
Proof by semantic attributes of a LISP compiler	1979-01-01	Paper

Research outcomes over time

This page was built for person: Pierre Deransart