| Publication | Date of Publication | Type |
|---|
| Lexicographic combination of reduction pairs | 2026-01-21 | Paper |
| Simulating dependency pairs by semantic labeling | 2026-01-14 | Paper |
| Hydra battles and AC termination | 2024-10-21 | Paper |
| Compositional confluence criteria | 2024-05-27 | Paper |
| Weighted Path Orders Are Semantic Path Orders | 2024-05-03 | Paper |
| Left-Linear Completion with AC Axioms | 2024-04-26 | Paper |
Compositional confluence criteria
(available as arXiv preprint) | 2024-03-11 | Paper |
| Completion and reduction orders (invited talk) | 2023-06-23 | Paper |
| scientific article; zbMATH DE number 7359428 (Why is no real title available?) | 2021-06-15 | Paper |
| scientific article; zbMATH DE number 7204438 (Why is no real title available?) | 2020-05-26 | Paper |
Confluence by critical pair analysis revisited
(available as arXiv preprint) | 2020-03-10 | Paper |
| Confluence by critical pair analysis revisited | 2020-03-10 | Paper |
Abstract completion, formalized
(available as arXiv preprint) | 2019-09-13 | Paper |
AC-KBO revisited
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
| Leftmost outermost revisited | 2017-07-12 | Paper |
CoLL: a confluence tool for left-linear term rewrite systems
Automated Deduction - CADE-25 | 2015-12-02 | Paper |
Confluence Competition 2015
Automated Deduction - CADE-25 | 2015-12-02 | Paper |
A New and Formalized Proof of Abstract Completion
Interactive Theorem Proving | 2014-09-08 | Paper |
Automated Complexity Analysis Based on Context-Sensitive Rewriting
Lecture Notes in Computer Science | 2014-07-24 | Paper |
AC-KBO revisited
Functional and Logic Programming | 2014-07-24 | Paper |
Uncurrying for termination and complexity
Journal of Automated Reasoning | 2013-07-05 | Paper |
Decreasing diagrams and relative termination
Journal of Automated Reasoning | 2012-07-31 | Paper |
Confluence of non-left-linear TRSs via relative termination
Logic for Programming, Artificial Intelligence, and Reasoning | 2012-06-15 | Paper |
Decreasing diagrams and relative termination
Automated Reasoning | 2010-09-14 | Paper |
Automating the dependency pair method.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
KBO orientability
Journal of Automated Reasoning | 2010-02-01 | Paper |
Rewriting Techniques and Applications
Lecture Notes in Computer Science | 2009-04-30 | Paper |
Complexity, Graphs, and the Dependency Pair Method
Logic for Programming, Artificial Intelligence, and Reasoning | 2009-01-27 | Paper |
Uncurrying for Termination
Logic for Programming, Artificial Intelligence, and Reasoning | 2009-01-27 | Paper |
Automated Complexity Analysis Based on the Dependency Pair Method
Automated Reasoning | 2008-11-27 | Paper |
Predictive Labeling
Lecture Notes in Computer Science | 2008-09-25 | Paper |
Constraints for Argument Filterings
Lecture Notes in Computer Science | 2008-03-07 | Paper |
Tyrolean termination tool: techniques and features
Information and Computation | 2007-04-16 | Paper |
Term Rewriting and Applications
Lecture Notes in Computer Science | 2005-11-11 | Paper |
Artificial Intelligence and Symbolic Computation
Lecture Notes in Computer Science | 2005-08-19 | Paper |
Automating the dependency pair method
Information and Computation | 2005-08-05 | Paper |
| scientific article; zbMATH DE number 2043537 (Why is no real title available?) | 2004-02-16 | Paper |
