( en | de | ru )

 

Disambiguation of "Tarau, Paul"

Author of the publication

copydeleteadd this publication to your clipboard
Program Transformations and WAM-Support for the Compilation of Definite Metaprograms.

. RCLP, volume 592 of Lecture Notes in Computer Science, page 462-473. Springer, (1991)

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. You can also use the button next to the name to display some publications already assigned to the person.

Andrea-Sanda Tarau

Katarina Paulsson

Surajit Paul

Christina Paulus

Christian Pauli

 

Other publications of authors with the same name

LogiMOO: A Multi-User Virtual World with Agents and Natural Language Programming., , , and . CHI Extended Abstracts, page 323-324. ACM, (1997)Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis.. Theory Pract. Log. Program., 22 (5): 693-707 (2022)The BinProlog experience: Architecture and implementation choices for continuation passing Prolog and first-class logic engines.. Theory Pract. Log. Program., 12 (1-2): 97-126 (2012)Random generation of closed simply typed λ-terms: A synergy between logic programming and Boltzmann samplers., , and . Theory Pract. Log. Program., 18 (1): 97-119 (2018)Compact serialization of Prolog terms (with catalan skeletons, cantor tupling and Gödel numberings).. Theory Pract. Log. Program., 13 (4-5): 847-861 (2013)Agent spaces: a scalable architecture for distributed logic agents., , and . RACS, page 263-268. ACM, (2012)Garbage Collection Algorithms for Java-Based Prolog Engines., and . PADL, volume 2562 of Lecture Notes in Computer Science, page 304-319. Springer, (2003)A Declarative Specification of Tree-Based Symbolic Arithmetic Computations.. PADL, volume 7149 of Lecture Notes in Computer Science, page 273-288. Springer, (2012)BinProlog: a Continuation Passing Style Prolog Engine.. PLILP, volume 631 of Lecture Notes in Computer Science, page 479-480. Springer, (1992)Logic Programming and Logic Grammars with First-Order Continuations., and . LOPSTR, volume 883 of Lecture Notes in Computer Science, page 215-230. Springer, (1994)