( en | de | ru )

 

Disambiguation of "Bruynooghe, Maurice"

Author of the publication

copydeleteadd this publication to your clipboard
Deriving Transformations for Logic Programs Using Abstract Interpretation.

, and . LOPSTR, page 99-117. Springer, (1992)

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.

Maurice Hollmann

Wissensrepräsentation zur integrierten Steuerung von Experimenten in der Echtzeit-fMRT: neuroökonomische Untersuchung sozialer Interaktion. Uni Magdeburg, (2009)

Maurice Arcq

Maurice Bonten

Maurice Horcajo

Maurice Kersten

 

Other publications of authors with the same name

Constructive Induction by Analogy., and . ML, page 476-477. Morgan Kaufmann, (1989)A Practical Framework for the Abstract Interpretation of Logic Programs.. J. Log. Program., 10 (2): 91-124 (1991)Interactive Concept-Learning and Constructive Induction by Analogy, and . Machine Learning, 8 (2): 107--150 (1992)A Practical Technique for Detecting Non-terminating Queries for a Restricted Class of Horn Clauses, Using Directed, Weighted Graphs., , and . ICLP, page 649-663. MIT Press, (1990)The Derivation of an Algorithm for Program Specialisation., and . ICLP, page 732-746. MIT Press, (1990)Extending constraint logic programming with open functions., and . PPDP, page 235-244. ACM, (2000)Polymorphic algebraic data type reconstruction., and . PPDP, page 85-96. ACM, (2006)On the Automatic Generation of Events in Delta Prolog., and . PLILP, volume 456 of Lecture Notes in Computer Science, page 324-339. Springer, (1990)Database Repair by Signed Formulae., , , and . FoIKS, volume 2942 of Lecture Notes in Computer Science, page 14-30. Springer, (2004)Analysis of Dependencies to Improve the Behaviour of Logic Programs.. CADE, volume 87 of Lecture Notes in Computer Science, page 293-305. Springer, (1980)