Autor der Publikation

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

A Practical Technique for Detecting Non-terminating Queries for a Restricted Class of Horn Clauses, Using Directed, Weighted Graphs., , und . ICLP, Seite 649-663. MIT Press, (1990)The Derivation of an Algorithm for Program Specialisation., und . ICLP, Seite 732-746. MIT Press, (1990)Polymorphic algebraic data type reconstruction., und . PPDP, Seite 85-96. ACM, (2006)Extending constraint logic programming with open functions., und . PPDP, Seite 235-244. ACM, (2000)On the Automatic Generation of Events in Delta Prolog., und . PLILP, Volume 456 von Lecture Notes in Computer Science, Seite 324-339. Springer, (1990)Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog., und . LPAR, Volume 1705 von Lecture Notes in Computer Science, Seite 358-375. Springer, (1999)Database Repair by Signed Formulae., , , und . FoIKS, Volume 2942 von Lecture Notes in Computer Science, Seite 14-30. Springer, (2004)Explanation Based Program Transformation., , und . IJCAI, Seite 407-412. Morgan Kaufmann, (1989)Deriving Transformations for Logic Programs Using Abstract Interpretation., und . LOPSTR, Seite 99-117. Springer, (1992)Analysis of Dependencies to Improve the Behaviour of Logic Programs.. CADE, Volume 87 von Lecture Notes in Computer Science, Seite 293-305. Springer, (1980)