| Publication | Date of Publication | Type |
|---|
The paint pot problem and common multiples in monoids
Applicable Algebra in Engineering, Communication and Computing | 2025-02-18 | Paper |
| -avoidance | 2024-10-21 | Paper |
scientific article; zbMATH DE number 7809760 (Why is no real title available?)
(available as arXiv preprint) | 2024-02-27 | Paper |
| scientific article; zbMATH DE number 7809760 (Why is no real title available?) | 2024-02-27 | Paper |
| scientific article; zbMATH DE number 7700629 (Why is no real title available?) | 2023-06-23 | Paper |
Higher-order families
Rewriting Techniques and Applications | 2022-12-09 | Paper |
| Nested term graphs (work in progress) | 2021-12-02 | Paper |
Nested term graphs (work in progress)
(available as arXiv preprint) | 2021-12-02 | Paper |
| Triangulation in rewriting | 2020-05-27 | 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 |
Development closed critical pairs
Higher-Order Algebra, Logic, and Term Rewriting | 2019-01-11 | Paper |
Finite family developments
Rewriting Techniques and Applications | 2017-11-17 | Paper |
| scientific article; zbMATH DE number 6792365 (Why is no real title available?) | 2017-10-17 | Paper |
| Proof orders for decreasing diagrams | 2017-02-01 | Paper |
Meaningless terms in rewriting
Algebraic and Logic Programming | 2017-01-19 | Paper |
Layer systems for proving confluence
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Infinitary term rewriting for weakly orthogonal systems: properties and counterexamples
Logical Methods in Computer Science | 2014-06-10 | Paper |
| Vicious circles in orthogonal term rewriting systems | 2013-09-20 | Paper |
| Four equivalent equivalences of reductions | 2013-08-23 | Paper |
| scientific article; zbMATH DE number 6027889 (Why is no real title available?) | 2012-04-25 | Paper |
| Unique normal forms in infinitary weakly orthogonal rewriting | 2012-04-25 | Paper |
On the termination of Russell's description elimination algorithm
The Review of Symbolic Logic | 2011-11-14 | Paper |
On equal -terms
Theoretical Computer Science | 2011-07-07 | Paper |
\(\rightthreetimes\)
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Diagrammatic Confluence and Completion
Automata, Languages and Programming | 2009-07-14 | Paper |
Reduction Strategies and Acyclicity
Rewriting, Computation and Proof | 2009-03-06 | Paper |
Using groups for investigating rewrite systems
Mathematical Structures in Computer Science | 2008-12-10 | Paper |
Modularity of Confluence
Automated Reasoning | 2008-11-27 | Paper |
Confluence by Decreasing Diagrams
Rewriting Techniques and Applications | 2008-08-28 | Paper |
Lambda calculus with patterns
Theoretical Computer Science | 2008-06-24 | Paper |
Random Descent
Lecture Notes in Computer Science | 2008-01-02 | Paper |
Functional and Logic Programming
Lecture Notes in Computer Science | 2007-09-25 | Paper |
Iterative Lexicographic Path Orders
Algebra, Meaning, and Computation | 2007-09-07 | Paper |
Decomposition orders -- another generalisation of the fundamental theorem of arithmetic
Theoretical Computer Science | 2005-06-10 | Paper |
Perpetuality and uniform normalization in orthogonal rewrite systems
Information and Computation | 2003-01-14 | Paper |
| scientific article; zbMATH DE number 1722703 (Why is no real title available?) | 2002-03-21 | Paper |
A geometric proof of confluence by decreasing diagrams
Journal Of Logic And Computation | 2000-09-04 | Paper |
| scientific article; zbMATH DE number 1499112 (Why is no real title available?) | 2000-09-03 | Paper |
| scientific article; zbMATH DE number 1414322 (Why is no real title available?) | 2000-03-16 | Paper |
| scientific article; zbMATH DE number 1332646 (Why is no real title available?) | 1999-09-09 | Paper |
| scientific article; zbMATH DE number 1231495 (Why is no real title available?) | 1998-12-13 | Paper |
Diagram techniques for confluence
Information and Computation | 1998-11-10 | Paper |
Logical description of context-free graph languages
Journal of Computer and System Sciences | 1998-08-04 | Paper |
Developing developments
Theoretical Computer Science | 1998-07-23 | Paper |
Regular description of context-free graph languages
Journal of Computer and System Sciences | 1997-03-18 | Paper |
Combinatory reduction systems: Introduction and survey
Theoretical Computer Science | 1994-09-26 | Paper |
Confluence by decreasing diagrams
Theoretical Computer Science | 1994-05-05 | Paper |
