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

Improving Automatic Confluence Analysis of Rewrite Systems by Redundant Rules., , und . RTA, Volume 36 von LIPIcs, Seite 257-268. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)A Haskell Library for Term Rewriting., , und . CoRR, (2013)Layer Systems for Proving Confluence., , , und . CoRR, (2014)CSI: New Evidence - A Progress Report., , und . CADE, Volume 10395 von Lecture Notes in Computer Science, Seite 385-397. Springer, (2017)Layer Systems for Proving Confluence., , und . FSTTCS, Volume 13 von LIPIcs, Seite 288-299. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)Labelings for Decreasing Diagrams., , und . RTA, Volume 10 von LIPIcs, Seite 377-392. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)CSI - A Confluence Tool., , und . CADE, Volume 6803 von Lecture Notes in Computer Science, Seite 499-505. Springer, (2011)Deciding Confluence of Ground Term Rewrite Systems in Cubic Time.. RTA, Volume 15 von LIPIcs, Seite 165-175. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)A verified decision procedure for the first-order theory of rewriting for linear variable-separated rewrite systems., , , und . CPP, Seite 250-263. ACM, (2021)Constructing Cycles in the Simplex Method for DPLL(T)., und . ICTAC, Volume 10580 von Lecture Notes in Computer Science, Seite 213-228. Springer, (2017)