PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Deransart, Pierre"

Author of the publication

copydeleteadd this publication to your clipboard
Towards a Generic Trace for Rule Based Constraint Reasoning

, , , , and . CoRR, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Pierre Nacke University of Stuttgart

Dr. rer. nat. Pierre Eckold University of Stuttgart

Pierre Kuna University of Stuttgart

 

Other publications of authors with the same name

Towards a Generic Framework to Generate Explanatory Traces of Constraint Solving and Rule-Based Reasoning, and . CoRR, (2010)Towards a Generic Trace for Rule Based Constraint Reasoning, , , , and . CoRR, (2012)Un nouveau traceur générique pour GNU-Prolog., and . JFPLC, page 97-110. Hermes/Lavoisier, (2003)Une vue méthodologique de la Programmation en Logique avec négation., and . SPLT, page 403-. (1989)Une sémantique opérationnelle algébrique de programmes PROLOG.. SPLT, (1983)Debugging of Constraint Programs: The DiSCiPl Methodology and Tools - Introduction., , and . Analysis and Visualization Tools for Constraint Programming, volume 1870 of Lecture Notes in Computer Science, page 1-20. Springer, (2000)NSTO Programs (Not Subject to Occur-Check)., , and . ISLP, page 533-547. MIT Press, (1991)Towards a Proof method of Non-Suspension of Concurrent Constraint Logic Programs., and . ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages, (1994)A Proof Manager for Verification of Logic Programs., and . LPE, Tekniske Høgskole, University of Trondheim, Trondheim, Norway, (1994)A Hypertext Based Environment to Write Literate Logic Programs (Poster Abstract)., , , and . JICSLP, page 540. MIT Press, (1996)