( en | de | ru )

 

Disambiguierung von "Hermenegildo, Manuel V."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
&-Prolog and its Performance: Exploiting Independent And-Parallelism.

, und . ICLP, Seite 253-268. MIT Press, (1990)

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.

V Geoffroy

V Saile

V Wittwer

V Ustinov

V Adams

 

Weitere Publikationen von Autoren mit dem selben Namen

Towards execution time estimation in abstract machine-based languages., , , und . PPDP, Seite 174-184. ACM, (2008)A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation., , und . ICLP, Volume 5366 von Lecture Notes in Computer Science, Seite 795-800. Springer, (2008)Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations., , und . ICSOC, Volume 7084 von Lecture Notes in Computer Science, Seite 62-76. Springer, (2011)A Framework for Assertion-Based Debugging in Constraint Logic Programming., , und . CP, Volume 1520 von Lecture Notes in Computer Science, Seite 472. Springer, (1998)Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction., , und . ASIAN, Volume 3321 von Lecture Notes in Computer Science, Seite 93-108. Springer, (2004)A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs., , und . LOPSTR, Volume 4915 von Lecture Notes in Computer Science, Seite 154-168. Springer, (2007)Efficient Management of Backtracking in AND-Parallelism., und . ICLP, Volume 225 von Lecture Notes in Computer Science, Seite 40-54. Springer, (1986)Context-Sensitive Multivariant Assertion Checking in Modular Programs., , , und . LPAR, Volume 4246 von Lecture Notes in Computer Science, Seite 392-406. Springer, (2006)A Generic Processor for Program Validation and Debugging., , und . Analysis and Visualization Tools for Constraint Programming, Volume 1870 von Lecture Notes in Computer Science, Seite 63-107. Springer, (2000)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)