Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Tyrolean Termination Tool 2., , , and . RTA, volume 5595 of Lecture Notes in Computer Science, page 295-304. Springer, (2009)Beyond Peano Arithmetic - Automatically Proving Termination of the Goodstein Sequence., , and . RTA, volume 21 of LIPIcs, page 335-351. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)On Implementing Modular Complexity Analysis., and . IWIL@LPAR, volume 2 of EPiC Series in Computing, page 42-47. EasyChair, (2010)SAT Techniques for Lexicographic Path Orders. CoRR, (2006)Uncurrying for Termination., , and . LPAR, volume 5330 of Lecture Notes in Computer Science, page 667-681. Springer, (2008)Confluence Competition 2018., , , , , , , and . FSCD, volume 108 of LIPIcs, page 32:1-32:5. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Confluence by Decreasing Diagrams - Formalized.. RTA, volume 21 of LIPIcs, page 352-367. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)Uncurrying for Termination and Complexity., , and . J. Autom. Reason., 50 (3): 279-315 (2013)Constraints for Argument Filterings., , and . SOFSEM (1), volume 4362 of Lecture Notes in Computer Science, page 579-590. Springer, (2007)Increasing Interpretations., and . AISC/MKM/Calculemus, volume 5144 of Lecture Notes in Computer Science, page 191-205. Springer, (2008)