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

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)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)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)Weighted Systems Revisited., , und . WSA, Volume 81-82 von Series Bigre, Seite 163-173. Atelier Irisa, IRISA, Campus de Beaulieu, (1992)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)Une analyse du comportement récursif de programmes Prolog par une interprétation abstraite., , und . JTASPEFT/WSA, Volume 74 von Series Bigre, Seite 62-69. Atelier Irisa, IRISA, Campus de Beaulieu, (1991)Termination induction by means of an abstract OLDT resolution., , und . JFPL, Seite 353-373. (1992)