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

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: Pierre Deransart