PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Warren, David Scott"

Author of the publication

copydeleteadd this publication to your clipboard
Efficient Access Mechanisms for Tabled Logic Programs.

, , , , and . J. Log. Program., 38 (1): 31-54 (1999)

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.

Dr. Marie Davidova University of Stuttgart

David Krach University of Stuttgart

Digital Rock Physics : A Geological Driven Workflow for the Segmentation of Anisotropic Ruhr Sandstone, , , , , , and . Frontiers in Earth Science, (2021)

David Inkermann

David Briesenick University of Stuttgart

David Gudnason University of Stuttgart

 

Other publications of authors with the same name

Objects as Intensions., and . ICLP/SLP, page 404-419. MIT Press, (1988)Multiple Terms in a Tabled Logic Programming System., and . ICLP, page 305-319. MIT Press, (1999)An Abstract Machine for Computing the Well-Founded Semantics., , and . JICSLP, page 274-288. MIT Press, (1996)Efficient Access Mechanisms for Tabled Logic Programs., , , , and . J. Log. Program., 38 (1): 31-54 (1999)Constraint Handling Rules and Tabled Execution., and . ICLP, volume 3132 of Lecture Notes in Computer Science, page 120-136. Springer, (2004)An Abstract Machine for Fixed-Order Dynamically Stratified Programs., , and . CADE, volume 1104 of Lecture Notes in Computer Science, page 328-342. Springer, (1996)Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools., , , , , , , , and . TACAS, volume 1579 of Lecture Notes in Computer Science, page 74-88. Springer, (1999)TCHR: a framework for tabled CLP, , and . CoRR, (2007)A Logic-based Language for Database Updates., and . Foundations of Deductive Databases and Logic Programming., Morgan Kaufmann, (1988)Automata-Driven Indexing of Prolog Clauses., , and . POPL, page 281-291. ACM Press, (1990)