Author of the publication

Optimizing mkbTT.

, , , and . RTA, volume 6 of LIPIcs, page 373-384. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)

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

Object-Centric Conformance Alignments with Synchronization (Extended Version)., , and . CoRR, (2023)Multi-Completion with Termination Tools., , , and . J. Autom. Reason., 50 (3): 317-354 (2013)Beyond polynomials and Peano arithmetic - automation of elementary and ordinal interpretations., , and . J. Symb. Comput., (2015)Ordinals and Knuth-Bendix Orders., , and . LPAR, volume 7180 of Lecture Notes in Computer Science, page 420-434. Springer, (2012)Reasoning and Verification with Data Petri Nets., , and . PMAI@IJCAI, volume 3310 of CEUR Workshop Proceedings, page 73-76. CEUR-WS.org, (2022)A Modular SMT-based Approach for Data-aware Conformance Checking., , , , and . OVERLAY@AI*IA, volume 3311 of CEUR Workshop Proceedings, page 87-92. CEUR-WS.org, (2022)Multi-completion with Termination Tools (System Description)., , , and . IJCAR, volume 5195 of Lecture Notes in Computer Science, page 306-312. Springer, (2008)Certified Ordered Completion., and . CoRR, (2018)Certified Equational Reasoning via Ordered Completion., and . CADE, volume 11716 of Lecture Notes in Computer Science, page 508-525. Springer, (2019)Extending Maximal Completion (Invited Talk).. FSCD, volume 131 of LIPIcs, page 3:1-3:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)