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

Understanding Higher Order Unification via Explicit Substitutions and Patterns.. IJCAR Doctoral Programme, Volume 106 von CEUR Workshop Proceedings, CEUR-WS.org, (2004)The Computational Relevance of Formal Logic Through Formal Proofs., , , , und . FMTea, Volume 11758 von Lecture Notes in Computer Science, Seite 81-96. Springer, (2019)A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi., , , und . LSFA, Volume 269 von Electronic Notes in Theoretical Computer Science, Seite 41-54. Elsevier, (2010)Formalizing a Named Explicit Substitutions Calculus in Coq., , und . CICM Workshops, Volume 1186 von CEUR Workshop Proceedings, CEUR-WS.org, (2014)Unification for -calculi Without Propagation Rules.. ICTAC, Volume 9965 von Lecture Notes in Computer Science, Seite 179-195. (2016)