Autor der Publikation

WEIGHTED GRAPHS, A Tool for Expressing the Behavious of Recursive Rules in Logic Programming.

. FGCS, Seite 397-404. OHMSHA Ltd. Tokyo and Springer-Verlag, (1988)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Halting Problem of One Binary Horn Clause id Undecidable., , und . Structural Complexity and Recursion-theoretic methods in Logic-Programming, Seite 5-14. Mathematical Sciences Institute, Cornell University, (1992)Prolog Program Transformations and Meta-Interpreters., , und . LOPSTR, Seite 238-251. Springer, (1991)Solving Classes of Set Constraints with Tree Automata., , und . CP, Volume 1330 von Lecture Notes in Computer Science, Seite 62-76. Springer, (1997)The Emptiness Problem of One Binary Recursive Horn Clause is Undecidable., , und . ILPS, Seite 250-265. MIT Press, (1993)WEIGHTED GRAPHS, A Tool for Expressing the Behavious of Recursive Rules in Logic Programming.. FGCS, Seite 397-404. OHMSHA Ltd. Tokyo and Springer-Verlag, (1988)Weighted Systems Revisited., , und . WSA, Volume 81-82 von Series Bigre, Seite 163-173. Atelier Irisa, IRISA, Campus de Beaulieu, (1992)BHDL: Circuit Design in B., , , , und . ACSD, Seite 241-242. IEEE Computer Society, (2003)Co-Design and Refinement for Safety Critical Systems., und . DFT, Seite 78-86. IEEE Computer Society, (2004)Halting Problem of One Binary Horn Clause is Undecidable., , und . STACS, Volume 665 von Lecture Notes in Computer Science, Seite 48-57. Springer, (1993)Termination induction by means of an abstract OLDT resolution., , und . JFPL, Seite 353-373. (1992)