( en | de | ru )

 

Disambiguierung von "de Guzmán, Pablo Chico"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A General Implementation Framework for Tabled CLP.

, , , und . FLOPS, Volume 7294 von Lecture Notes in Computer Science, Seite 104-119. Springer, (2012)

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.

Carlos Guzmán

Alvaro Rivas Guzmán

Henry Guzmán Bulla

Alexander Guzmán Monsalve

Francisco Digón Guzmán

 

Weitere Publikationen von Autoren mit dem selben Namen

A Program Transformation for Continuation Call-Based Tabled Execution, , und . CoRR, (2009)A General Implementation Framework for Tabled CLP., , , und . FLOPS, Volume 7294 von Lecture Notes in Computer Science, Seite 104-119. Springer, (2012)Supporting Pruning in Tabled LP., , und . PADL, Volume 7752 von Lecture Notes in Computer Science, Seite 60-76. Springer, (2013)A Segment-Swapping Approach for Executing Trapped Computations., , , und . PADL, Volume 7149 von Lecture Notes in Computer Science, Seite 138-152. Springer, (2012)Estrategias Avanzadas de Tabulación y Paralelismo en Programas Lógicos = Advanced Evaluation Strategies for Tabling and Parallelism in Logic Programs.. Technical University of Madrid, Spain, (2012)Towards a Complete Scheme for Tabled Execution Based on Program Transformation., , und . PADL, Volume 5418 von Lecture Notes in Computer Science, Seite 224-238. Springer, (2009)A Tabling Implementation Based on Variables with Multiple Bindings., , und . ICLP, Volume 5649 von Lecture Notes in Computer Science, Seite 190-204. Springer, (2009)An Improved Continuation Call-Based Implementation of Tabling., , , , und . PADL, Volume 4902 von Lecture Notes in Computer Science, Seite 197-213. Springer, (2008)Parallel backtracking with answer memoing for independent and-parallelism., , , und . Theory Pract. Log. Program., 11 (4-5): 555-574 (2011)Swapping evaluation: A memory-scalable solution for answer-on-demand tabling., , und . Theory Pract. Log. Program., 10 (4-6): 401-416 (2010)