( en | de | ru )

 

Disambiguation of "Bruynooghe, Maurice"

Author of the publication

copydeleteadd this publication to your clipboard
An ID-Logic Formalization of the Composition of Autonomous Databases.

, , , and . LPNMR, volume 3662 of Lecture Notes in Computer Science, page 132-144. Springer, (2005)

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 Bonten

Maurice Arcq

Maurice Horcajo

Maurice Kersten

 

Other publications of authors with the same name

Logic programming revisited: Logic programs as inductive definitions., , and . ACM Trans. Comput. Log., 2 (4): 623-654 (2001)Deriving Transformations for Logic Programs Using Abstract Interpretation., and . LOPSTR, page 99-117. Springer, (1992)Database Repair by Signed Formulae., , , and . FoIKS, volume 2942 of Lecture Notes in Computer Science, page 14-30. Springer, (2004)Explanation Based Program Transformation., , and . IJCAI, page 407-412. Morgan Kaufmann, (1989)Analysis of Dependencies to Improve the Behaviour of Logic Programs.. CADE, volume 87 of Lecture Notes in Computer Science, page 293-305. Springer, (1980)Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog., and . LPAR, volume 1705 of Lecture Notes in Computer Science, page 358-375. Springer, (1999)Verification of Source Code Transformations by Program Equivalence Checking., , , and . CC, volume 3443 of Lecture Notes in Computer Science, page 221-236. Springer, (2005)Offline Specialisation in Prolog Using a Hand-Written Compiler Generator, , , and . CoRR, (2002)Enhancing a search algorithm to perform intelligent backtracking.. Theory Pract. Log. Program., 4 (3): 371-380 (2004)Special Issue on Program Development, Guest Editors' Introduction., and . Theory Pract. Log. Program., 2 (4-5): 423-424 (2002)