( en | de | ru )

 

Disambiguierung von "Hermenegildo, Manuel V."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Computing Abstract Distances in Logic Programs.

, , , und . CoRR, (2019)

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 Wittwer

V Ustinov

V Fendrich

 

Weitere Publikationen von Autoren mit dem selben Namen

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)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)Some Challenges for Constraint Programming.. Constraints An Int. J., 2 (1): 63-69 (1997)Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW library, und . CoRR, (2003)Certificate size reduction in abstraction-carrying code., , , und . Theory Pract. Log. Program., 12 (3): 283-318 (2012)Sized Type Analysis for Logic Programs., , , und . Theory Pract. Log. Program., (2013)Some Paradigms for Visualizing Parallel Execution of Logic Programs., , und . ICLP, Seite 184-200. MIT Press, (1993)The DCG, UDG, and MEL Methods for Automatic Compile-time Parallelization of Logic Programs for Independent And-parallelism., und . ICLP, Seite 221-236. MIT Press, (1990)The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems., , , , , , und . APPIA-GULP-PRODE, Seite 105-110. (1996)