( en | de | ru )

 

Disambiguierung von "Bruynooghe, Maurice"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Lazy Model Expansion: Interleaving Grounding with Search.

, , , und . CoRR, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

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

 

Weitere Publikationen von Autoren mit dem selben Namen

Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code, , , und . CoRR, (2007)Coherent Integration of Databases by Abductive Logic Programming, , , und . CoRR, (2011)Extending constraint logic programming with open functions., und . PPDP, Seite 235-244. ACM, (2000)Polymorphic algebraic data type reconstruction., und . PPDP, Seite 85-96. ACM, (2006)On the Automatic Generation of Events in Delta Prolog., und . PLILP, Volume 456 von Lecture Notes in Computer Science, Seite 324-339. Springer, (1990)Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog., und . LPAR, Volume 1705 von Lecture Notes in Computer Science, Seite 358-375. Springer, (1999)A Practical Framework for the Abstract Interpretation of Logic Programs.. J. Log. Program., 10 (2): 91-124 (1991)Verification of Source Code Transformations by Program Equivalence Checking., , , und . CC, Volume 3443 von Lecture Notes in Computer Science, Seite 221-236. Springer, (2005)Deriving Transformations for Logic Programs Using Abstract Interpretation., und . LOPSTR, Seite 99-117. Springer, (1992)Experience with Widening Based Equivalence Checking in Realistic Multimedia Systems., , , , und . J. Electron. Test., 26 (2): 279-292 (2010)