( en | de | ru )

 

Disambiguierung von "de Guzmán, Pablo Chico"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Supporting Pruning in Tabled LP.

, , und . PADL, Volume 7752 von Lecture Notes in Computer Science, Seite 60-76. Springer, (2013)

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)Supporting Pruning in Tabled LP., , und . PADL, Volume 7752 von Lecture Notes in Computer Science, Seite 60-76. Springer, (2013)A General Implementation Framework for Tabled CLP., , , und . FLOPS, Volume 7294 von Lecture Notes in Computer Science, Seite 104-119. Springer, (2012)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)An Improved Continuation Call-Based Implementation of Tabling., , , , und . PADL, Volume 4902 von Lecture Notes in Computer Science, Seite 197-213. Springer, (2008)Swapping evaluation: A memory-scalable solution for answer-on-demand tabling., , und . Theory Pract. Log. Program., 10 (4-6): 401-416 (2010)Parallel backtracking with answer memoing for independent and-parallelism., , , und . Theory Pract. Log. Program., 11 (4-5): 555-574 (2011)Pipekit: A Deployment Tool with Advanced Scheduling and Inter-Service Communication for Multi-Tier Applications., , und . ICWS, Seite 379-382. IEEE, (2018)A Tabling Implementation Based on Variables with Multiple Bindings., , und . ICLP, Volume 5649 von Lecture Notes in Computer Science, Seite 190-204. Springer, (2009)