( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Types, Modes and so Much More - The Prolog Way.

, , , и . Prolog: The Next 50 Years, том 13900 из Lecture Notes in Computer Science, Springer, (2023)

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.

Vicente Rodríguez Carro

Aaron E Carroll

Rebecca Carroll

John Carroll

Mary Carroll

 

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

An Improved Continuation Call-Based Implementation of Tabling., , , , и . PADL, том 4902 из Lecture Notes in Computer Science, стр. 197-213. Springer, (2008)Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs., , и . LOPSTR, том 4915 из Lecture Notes in Computer Science, стр. 138-153. Springer, (2007)Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming., , , и . CoRR, (2021)An overview of Ciao and its design philosophy, , , , , , и . CoRR, (2011)Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming., , , и . Theory Pract. Log. Program., 22 (1): 51-80 (2022)Swapping evaluation: A memory-scalable solution for answer-on-demand tabling., , и . Theory Pract. Log. Program., 10 (4-6): 401-416 (2010)Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP., и . Theory Pract. Log. Program., 19 (5-6): 1107-1123 (2019)Parallel backtracking with answer memoing for independent and-parallelism., , , и . Theory Pract. Log. Program., 11 (4-5): 555-574 (2011)Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming., , и . PADL, том 13165 из Lecture Notes in Computer Science, стр. 117-134. Springer, (2022)Using Attributed Variables in the Implementation of Parallel and Concurrent Logic Programming Systems., , и . Workshop on Design and Impl. of Parallel Logic Programming Systems, стр. 42-53. (1994)