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

Tyrolean Termination Tool 2., , , und . RTA, Volume 5595 von Lecture Notes in Computer Science, Seite 295-304. Springer, (2009)Beyond Peano Arithmetic - Automatically Proving Termination of the Goodstein Sequence., , und . RTA, Volume 21 von LIPIcs, Seite 335-351. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)On Implementing Modular Complexity Analysis., und . IWIL@LPAR, Volume 2 von EPiC Series in Computing, Seite 42-47. EasyChair, (2010)Labelings for Decreasing Diagrams., , und . RTA, Volume 10 von LIPIcs, Seite 377-392. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)Decreasing Diagrams.. Arch. Formal Proofs, (2013)Ordinals and Knuth-Bendix Orders., , und . LPAR, Volume 7180 von Lecture Notes in Computer Science, Seite 420-434. Springer, (2012)CSI - A Confluence Tool., , und . CADE, Volume 6803 von Lecture Notes in Computer Science, Seite 499-505. Springer, (2011)Layer Systems for Proving Confluence., , und . FSTTCS, Volume 13 von LIPIcs, Seite 288-299. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)Uncurrying for Termination., , und . LPAR, Volume 5330 von Lecture Notes in Computer Science, Seite 667-681. Springer, (2008)Confluence Competition 2018., , , , , , , und . FSCD, Volume 108 von LIPIcs, Seite 32:1-32:5. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)