( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A General Implementation Framework for Tabled CLP.

, , , и . FLOPS, том 7294 из Lecture Notes in Computer Science, стр. 104-119. Springer, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Carlos Guzmán

Alvaro Rivas Guzmán

Henry Guzmán Bulla

Alexander Guzmán Monsalve

Francisco Digón Guzmán

 

Другие публикации лиц с тем же именем

A Program Transformation for Continuation Call-Based Tabled Execution, , и . CoRR, (2009)Supporting Pruning in Tabled LP., , и . PADL, том 7752 из Lecture Notes in Computer Science, стр. 60-76. Springer, (2013)A General Implementation Framework for Tabled CLP., , , и . FLOPS, том 7294 из Lecture Notes in Computer Science, стр. 104-119. Springer, (2012)A Segment-Swapping Approach for Executing Trapped Computations., , , и . PADL, том 7149 из Lecture Notes in Computer Science, стр. 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., , , , и . PADL, том 4902 из Lecture Notes in Computer Science, стр. 197-213. Springer, (2008)Swapping evaluation: A memory-scalable solution for answer-on-demand tabling., , и . Theory Pract. Log. Program., 10 (4-6): 401-416 (2010)Parallel backtracking with answer memoing for independent and-parallelism., , , и . 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., , и . ICWS, стр. 379-382. IEEE, (2018)A Tabling Implementation Based on Variables with Multiple Bindings., , и . ICLP, том 5649 из Lecture Notes in Computer Science, стр. 190-204. Springer, (2009)