( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Generic Cut Actions for External Prolog Predicates.

, , и . PADL, том 3819 из Lecture Notes in Computer Science, стр. 16-30. Springer, (2006)

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

 

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

Forest trees for on-line data., , и . SAC, стр. 632-636. ACM, (2004)Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs., , и . PPDP, стр. 43-54. ACM, (2014)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)Table space designs for implicit and explicit concurrent tabled evaluation., и . Theory Pract. Log. Program., 18 (5-6): 950-992 (2018)Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs., , и . ICLP, том 3668 из Lecture Notes in Computer Science, стр. 250-264. Springer, (2005)Thread-Aware Logic Programming for Data-Driven Parallel Programs., , и . ICLP (Technical Communications), том 1433 из CEUR Workshop Proceedings, CEUR-WS.org, (2015)Efficient and Scalable Induction of Logic Programs Using a Deductive Database System., , , и . ILP, том 4455 из Lecture Notes in Computer Science, стр. 184-198. Springer, (2006)On Improving the Efficiency of Deterministic Calls and Answers in Tabled Logic Programs., и . EPIA, том 5816 из Lecture Notes in Computer Science, стр. 113-125. Springer, (2009)Towards an Automated Test Bench Environment for Prolog Systems., , и . SLATE, том 56 из OASIcs, стр. 2:1-2:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)