( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Or-Parallel Prolog Execution on Clusters of Multicores.

, и . SLATE, том 29 из OASIcs, стр. 9-20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)

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.

Nino Rocha

Paula Suares Rocha

Jacqueline Rocha

Marcio Rocha

Eduardo Saraiva Rocha

 

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

Table space designs for implicit and explicit concurrent tabled evaluation., и . Theory Pract. Log. Program., 18 (5-6): 950-992 (2018)Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs., , и . PPDP, стр. 43-54. ACM, (2014)Global Storing Mechanisms for Tabled Evaluation., и . ICLP, том 5366 из Lecture Notes in Computer Science, стр. 708-712. Springer, (2008)On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog., , и . ICLP, том 4670 из Lecture Notes in Computer Science, стр. 444-445. Springer, (2007)On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation.. PADL, том 4354 из Lecture Notes in Computer Science, стр. 155-169. Springer, (2007)Forest trees for on-line data., , и . SAC, стр. 632-636. ACM, (2004)Proceedings of the 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems., и . CoRR, (2013)On Applying Probabilistic Logic Programming to Breast Cancer Data., , и . ILP, том 10759 из Lecture Notes in Computer Science, стр. 31-45. Springer, (2017)A Linear Logic Programming Language for Concurrent Programming over Graph Structures., , , и . Theory Pract. Log. Program., 14 (4-5): 493-507 (2014)Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs., , и . ICLP, том 3668 из Lecture Notes in Computer Science, стр. 250-264. Springer, (2005)