Autor der Publikation

Termination Transformation by Tree Lifting Ordering.

, und . RTA, Volume 1379 von Lecture Notes in Computer Science, Seite 256-270. Springer, (1998)

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

Argument Filterings and Usable Rules for Simply Typed Dependency Pairs., und . FroCoS, Volume 5749 von Lecture Notes in Computer Science, Seite 117-132. Springer, (2009)Termination of Rule-Based Calculi for Uniform Semi-Unification., und . LATA, Volume 7810 von Lecture Notes in Computer Science, Seite 56-67. Springer, (2013)Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation., , und . PPDP, Seite 13:1-13:14. ACM, (2019)Correctness of Context-Moving Transformations for Term Rewriting Systems., , , und . LOPSTR, Volume 9527 von Lecture Notes in Computer Science, Seite 331-345. Springer, (2015)Commutative Rational Term Rewriting., , und . LATA, Volume 12638 von Lecture Notes in Computer Science, Seite 200-212. Springer, (2021)Nominal Confluence Tool., und . IJCAR, Volume 9706 von Lecture Notes in Computer Science, Seite 173-182. Springer, (2016)Improving Rewriting Induction Approach for Proving Ground Confluence., , und . FSCD, Volume 84 von LIPIcs, Seite 7:1-7:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Confluence Competition 2018., , , , , , , und . FSCD, Volume 108 von LIPIcs, Seite 32:1-32:5. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Confluence and Commutation for Nominal Rewriting Systems with Atom-Variables., und . LOPSTR, Volume 12561 von Lecture Notes in Computer Science, Seite 56-73. Springer, (2020)Position estimation of near point light sources using a clear hollow sphere., , , , und . ICPR, Seite 3721-3724. IEEE Computer Society, (2012)