( en | de | ru )

 

Disambiguation of "Bruynooghe, Maurice"

Author of the publication

copydeleteadd this publication to your clipboard
A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation.

, , , , and . SAS, volume 1145 of Lecture Notes in Computer Science, page 128-142. Springer, (1996)

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 Horcajo

Maurice Kersten

Maurice Bonten

Maurice Arcq

 

Other publications of authors with the same name

Constructive Induction by Analogy., and . ML, page 476-477. Morgan Kaufmann, (1989)A MIP Backend for the IDP System., , , and . CoRR, (2016)Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code, , , and . CoRR, (2007)Coherent Integration of Databases by Abductive Logic Programming, , , and . CoRR, (2011)Polymorphic algebraic data type reconstruction., and . PPDP, page 85-96. ACM, (2006)Deriving Descriptions of Possible Values of Program Variables by Means of Abstract Interpretation., and . J. Log. Program., 13 (2&3): 205-258 (1992)Experience with Widening Based Equivalence Checking in Realistic Multimedia Systems., , , , and . J. Electron. Test., 26 (2): 279-292 (2010)Extending constraint logic programming with open functions., and . PPDP, page 235-244. ACM, (2000)On the Automatic Generation of Events in Delta Prolog., and . PLILP, volume 456 of Lecture Notes in Computer Science, page 324-339. Springer, (1990)Verification of Source Code Transformations by Program Equivalence Checking., , , and . CC, volume 3443 of Lecture Notes in Computer Science, page 221-236. Springer, (2005)