( en | de | ru )

 

Disambiguierung von "Warren, David Scott"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
TCHR: a framework for tabled CLP

, , und . CoRR, (2007)

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.

Daniel Warren

Warren Chan

Maria Warren

Martina Christine Scotti

Pierre-François Scotto

 

Weitere Publikationen von Autoren mit dem selben Namen

TCHR: a framework for tabled CLP, , und . CoRR, (2007)An Abstract Machine for Fixed-Order Dynamically Stratified Programs., , und . CADE, Volume 1104 von Lecture Notes in Computer Science, Seite 328-342. Springer, (1996)Constraint Handling Rules and Tabled Execution., und . ICLP, Volume 3132 von Lecture Notes in Computer Science, Seite 120-136. Springer, (2004)Automata-Driven Indexing of Prolog Clauses., , und . POPL, Seite 281-291. ACM Press, (1990)A Logic-based Language for Database Updates., und . Foundations of Deductive Databases and Logic Programming., Morgan Kaufmann, (1988)HiLog as a Platform for Database Languages., , und . IEEE Data Eng. Bull., 12 (3): 37-44 (1989)A Goal-Oriented Approach to Computing the Well-Founded Semantics., und . J. Log. Program., 17 (2/3&4): 279-300 (1993)Efficient Access Mechanisms for Tabled Logic Programs., , , , und . J. Log. Program., 38 (1): 31-54 (1999)An Abstract Machine for Computing the Well-Founded Semantics., , und . JICSLP, Seite 274-288. MIT Press, (1996)Objects as Intensions., und . ICLP/SLP, Seite 404-419. MIT Press, (1988)