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

Tabling as a Library with Delimited Control., , , und . IJCAI, Seite 4145-4149. IJCAI/AAAI Press, (2016)Consistent Subtyping for All., , , und . ACM Trans. Program. Lang. Syst., 42 (1): 2:1-2:79 (2020)Introduction to the 30th International Conference on Logic Programming Special Issue., und . Theory Pract. Log. Program., 14 (4-5): 401-414 (2014)Confluence for Functional Dependencies., und . Trends in Functional Programming, Volume 9 von Trends in Functional Programming, Seite 49-64. Intellect, (2008)Let should not be generalized., , und . TLDI, Seite 39-50. ACM, (2010)Guard Reasoning in the Refined Operational Semantics of CHR., , und . Constraint Handling Rules, Volume 5388 von Lecture Notes in Computer Science, Springer, (2008)Automatic Generation of Test Inputs for Mercury., , und . LOPSTR, Volume 5438 von Lecture Notes in Computer Science, Seite 71-86. Springer, (2008)Towards Typed Prolog., , , und . ICLP, Volume 5366 von Lecture Notes in Computer Science, Seite 693-697. Springer, (2008)Efficient compilation of algebraic effect handlers., , , und . Proc. ACM Program. Lang., 5 (OOPSLA): 1-28 (2021)Special Issue on Probabilistic Logic Programming (PLP 2018)., und . Int. J. Approx. Reason., (2021)