( en | de | ru )

 

Disambiguierung von "Hermenegildo, Manuel V."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Efficient Term Size Computation for Granularity Control.

, und . ICLP, Seite 647-661. MIT Press, (1995)

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 Saile

V Geoffroy

V Ustinov

V Adams

V Fendrich

 

Weitere Publikationen von Autoren mit dem selben Namen

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)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)Automatic Parallelization of Irregular and Pointer-Based Computations: Perspectives from Logic and Constraint Programming.. Euro-Par, Volume 1300 von Lecture Notes in Computer Science, Seite 31-45. Springer, (1997)Context-Sensitive Multivariant Assertion Checking in Modular Programs., , , und . LPAR, Volume 4246 von Lecture Notes in Computer Science, Seite 392-406. Springer, (2006)A Framework for Assertion-Based Debugging in Constraint Logic Programming., , und . CP, Volume 1520 von Lecture Notes in Computer Science, Seite 472. Springer, (1998)Towards Independent And-Parallelism in CLP., , und . PLILP, Volume 1140 von Lecture Notes in Computer Science, Seite 77-91. Springer, (1996)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 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)Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging., , und . The Logic Programming Paradigm, Springer, (1999)