( en | de | ru )

 

Disambiguierung von "Warren, David Scott"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An Abstract Machine for Fixed-Order Dynamically Stratified Programs.

, , und . CADE, Volume 1104 von Lecture Notes in Computer Science, Seite 328-342. Springer, (1996)

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

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)TCHR: a framework for tabled CLP, , und . CoRR, (2007)Constraint Handling Rules and Tabled Execution., und . ICLP, Volume 3132 von Lecture Notes in Computer Science, Seite 120-136. Springer, (2004)An Abstract Machine for Fixed-Order Dynamically Stratified Programs., , und . CADE, Volume 1104 von Lecture Notes in Computer Science, Seite 328-342. Springer, (1996)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)A Goal-Oriented Approach to Computing the Well-Founded Semantics., und . J. Log. Program., 17 (2/3&4): 279-300 (1993)HiLog as a Platform for Database Languages., , und . IEEE Data Eng. Bull., 12 (3): 37-44 (1989)