Autor der Publikation

Abstract Interpretation of Active Rules and its Use in Termination Analysis.

, , , und . ICDT, Volume 1186 von Lecture Notes in Computer Science, Seite 188-202. Springer, (1997)

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

Abstract Interpretation of Active Rules and its Use in Termination Analysis., , , und . ICDT, Volume 1186 von Lecture Notes in Computer Science, Seite 188-202. Springer, (1997)A Comparison of Three Occur-Check Analysers., , und . SAS, Volume 1145 von Lecture Notes in Computer Science, Seite 159-173. Springer, (1996)Analysis of Inheritance Mechanisms in Agent-Oriented Programming., , und . IJCAI (1), Seite 647-654. Morgan Kaufmann, (1997)Classifying Inheritance Mechanisms in Concurrent Object Oriented Programming., , und . ECOOP, Volume 1445 von Lecture Notes in Computer Science, Seite 571-600. Springer, (1998)