Autor der Publikation

In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming.

. Theory Pract. Log. Program., 20 (1): 99-146 (2020)

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

Query Answering in Information Systems with Integrity Constraints.. IICIS, Volume 109 von IFIP Conference Proceedings, Seite 113-130. Chapman Hall, (1997)Negation in Logic Programming: A Formalization in Constructive Logic.. IS/KI, Volume 474 von Lecture Notes in Computer Science, Seite 30-46. Springer, (1990)On the number of 1-factors of locally finite graphs.. J. Comb. Theory, Ser. B, 34 (1): 48-57 (1983)Upside-down deduction.. BDA, Seite 91-. INRIA, (1990)In Praise of Impredicativity: A Contribution to the Formalisation of Meta-Programming.. CoRR, (2018)Discerning Actuality in Backstage - Comprehensible Contextual Aging., , und . EC-TEL, Volume 7563 von Lecture Notes in Computer Science, Seite 126-139. Springer, (2012)CodeKoan: A Source Code Pattern Search Engine Extracting Crowd Knowledge., , und . CSI-SE@ICSE, Seite 1-8. ACM, (2018)Disjunctive Logic Programming: What Applications Developers Need.. GI Jahrestagung, Seite 74. Springer, (1994)Variationen über ein Thema: Suchstrategien und Datenstrukturen für SATCHMO-Beweiser., und . WLP, Seite 205-216. (1995)Backstage: A Versatile Platform Supporting Learning and Teaching Format Composition., , und . Koli Calling, Seite 27:1-27:2. ACM, (2018)