Autor der Publikation

Parallel backtracking with answer memoing for independent and-parallelism.

, , , und . Theory Pract. Log. Program., 11 (4-5): 555-574 (2011)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs., , und . LOPSTR, Volume 4915 von Lecture Notes in Computer Science, Seite 138-153. Springer, (2007)Parallel backtracking with answer memoing for independent and-parallelism., , , und . Theory Pract. Log. Program., 11 (4-5): 555-574 (2011)A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems., , und . FLOPS, Volume 3945 von Lecture Notes in Computer Science, Seite 146-162. Springer, (2006)A Segment-Swapping Approach for Executing Trapped Computations., , , und . PADL, Volume 7149 von Lecture Notes in Computer Science, Seite 138-152. Springer, (2012)A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism., , und . ICLP, Volume 5366 von Lecture Notes in Computer Science, Seite 651-666. Springer, (2008)Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism., , und . PADL, Volume 4902 von Lecture Notes in Computer Science, Seite 230-247. Springer, (2008)Towards a high-level implementation of flexible parallelism primitives for symbolic languages., , und . PASCO, Seite 93-94. ACM, (2007)