( en | de | ru )

 

Disambiguierung von "Rocha, Ricardo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Forest trees for on-line data.

, , und . SAC, Seite 632-636. ACM, (2004)

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.

Nino Rocha

Paula Suares Rocha

Jacqueline Rocha

Marcio Rocha

Eduardo Saraiva Rocha

 

Weitere Publikationen von Autoren mit dem selben Namen

A Linear Logic Programming Language for Concurrent Programming over Graph Structures., , , und . Theory Pract. Log. Program., 14 (4-5): 493-507 (2014)On Applying Or-Parallelism and Tabling to Logic Programs., , und . Theory Pract. Log. Program., 5 (1-2): 161-205 (2005)Threads and or-parallelism unified., , und . Theory Pract. Log. Program., 10 (4-6): 417-432 (2010)Forest trees for on-line data., , und . SAC, Seite 632-636. ACM, (2004)Parallel Logic Programming: A Sequel., , , , , und . CoRR, (2021)Parallel Logic Programming: A Sequel., , , , , und . Theory Pract. Log. Program., 22 (6): 905-973 (2022)Table space designs for implicit and explicit concurrent tabled evaluation., und . Theory Pract. Log. Program., 18 (5-6): 950-992 (2018)Proceedings of the 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems., und . CoRR, (2013)On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation.. PADL, Volume 4354 von Lecture Notes in Computer Science, Seite 155-169. Springer, (2007)Global Storing Mechanisms for Tabled Evaluation., und . ICLP, Volume 5366 von Lecture Notes in Computer Science, Seite 708-712. Springer, (2008)