| Publication | Date of Publication | Type |
|---|
| Sort-based confluence criteria for non-left-linear higher-order rewriting | 2026-01-21 | Paper |
Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs
Mathematical Structures in Computer Science | 2023-02-28 | Paper |
Unification of drags and confluence of drag rewriting
Journal of Logical and Algebraic Methods in Programming | 2023-02-03 | Paper |
Open problems in rewriting
Rewriting Techniques and Applications | 2022-12-09 | Paper |
More problems in rewriting
Rewriting Techniques and Applications | 2022-12-09 | Paper |
Problems in rewriting III
Rewriting Techniques and Applications | 2022-12-09 | Paper |
A recursive path ordering for higher-order terms in η-long β-normal form
Rewriting Techniques and Applications | 2022-12-09 | Paper |
Corrigendum to: ``Inductive-data-type systems''
Theoretical Computer Science | 2020-04-01 | Paper |
Graph path orderings
EPiC Series in Computing | 2019-07-04 | Paper |
Drags: a compositional algebraic framework for graph rewriting
Theoretical Computer Science | 2019-06-18 | Paper |
Coq without type casts: a complete proof of Coq Modulo Theory
EPiC Series in Computing | 2019-01-10 | Paper |
Confluence of layered rewrite systems
(available as arXiv preprint) | 2017-08-31 | Paper |
| Termination of dependently typed rewrite rules | 2017-07-12 | Paper |
The computability path ordering
Logical Methods in Computer Science | 2015-10-29 | Paper |
Normal higher-order termination
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Confluence by critical pair analysis
Lecture Notes in Computer Science | 2014-07-24 | Paper |
Confluence: the unifying, expressive power of locality
Specification, Algebra, and Software | 2014-03-25 | Paper |
The blossom of finite semantic trees
Programming Logics | 2013-04-19 | Paper |
From diagrammatic confluence to modularity
Theoretical Computer Science | 2013-01-07 | Paper |
| scientific article; zbMATH DE number 6109844 (Why is no real title available?) | 2012-11-22 | Paper |
Infinite Families of Finite String Rewriting Systems and Their Confluence
Logic for Programming, Artificial Intelligence, and Reasoning | 2010-10-12 | Paper |
| scientific article; zbMATH DE number 5605104 (Why is no real title available?) | 2009-09-19 | Paper |
Diagrammatic Confluence and Completion
Automata, Languages and Programming | 2009-07-14 | Paper |
Building Decision Procedures in the Calculus of Inductive Constructions
Computer Science Logic | 2009-03-05 | Paper |
Polymorphic higher-order recursive path orderings
Journal of the ACM | 2008-12-21 | Paper |
The Computability Path Ordering: The End of a Quest
Computer Science Logic | 2008-11-20 | Paper |
Higher-Order Orderings for Normal Rewriting
Lecture Notes in Computer Science | 2008-09-25 | Paper |
Modular Church-Rosser Modulo
Lecture Notes in Computer Science | 2008-09-25 | Paper |
Higher-Order Termination: From Kruskal to Computability
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
HORPO with Computability Closure: A Reconstruction
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-15 | Paper |
From OBJ to ML to Coq
Algebra, Meaning, and Computation | 2007-09-07 | Paper |
Processes, Terms and Cycles: Steps on the Road to Infinity
Lecture Notes in Computer Science | 2006-11-13 | Paper |
Automated Technology for Verification and Analysis
Lecture Notes in Computer Science | 2006-10-25 | Paper |
Term Rewriting and Applications
Lecture Notes in Computer Science | 2005-11-11 | Paper |
Automata-driven automated induction
Information and Computation | 2003-01-14 | Paper |
Inductive-data-type systems
Theoretical Computer Science | 2002-03-03 | Paper |
| scientific article; zbMATH DE number 1688809 (Why is no real title available?) | 2002-01-09 | Paper |
| scientific article; zbMATH DE number 1405632 (Why is no real title available?) | 2000-09-13 | Paper |
Specification and proof in membership equational logic
Theoretical Computer Science | 2000-06-04 | Paper |
A methodological view of constraint solving
Constraints | 2000-03-19 | Paper |
Rewrite orderings for higher-order terms in \(\eta\)-long \(\beta\)-normal form and the recursive path ordering
Theoretical Computer Science | 1999-01-12 | Paper |
| scientific article; zbMATH DE number 1231659 (Why is no real title available?) | 1999-01-07 | Paper |
Abstract data type systems
Theoretical Computer Science | 1998-07-22 | Paper |
| scientific article; zbMATH DE number 1142316 (Why is no real title available?) | 1998-05-14 | Paper |
| scientific article; zbMATH DE number 785049 (Why is no real title available?) | 1995-08-14 | Paper |
Syntacticness, cycle-syntacticness and shallow theories
Information and Computation | 1995-03-01 | Paper |
| scientific article; zbMATH DE number 176755 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 176490 (Why is no real title available?) | 1993-05-18 | Paper |
Termination and completion modulo associativity, commutativity and identity
Theoretical Computer Science | 1993-01-17 | Paper |
Programming with equalities, subsorts, overloading, and parametrization in OBJ
The Journal of Logic Programming | 1992-08-13 | Paper |
| scientific article; zbMATH DE number 18623 (Why is no real title available?) | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 8327 (Why is no real title available?) | 1992-06-25 | Paper |
| scientific article; zbMATH DE number 4164121 (Why is no real title available?) | 1989-01-01 | Paper |
Unification in Boolean rings and Abelian groups
Journal of Symbolic Computation | 1989-01-01 | Paper |
Automatic proofs by induction in theories without constructors
Information and Computation | 1989-01-01 | Paper |
Completion of a Set of Rules Modulo a Set of Equations
SIAM Journal on Computing | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3949706 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3817070 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3827173 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3810909 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3827181 (Why is no real title available?) | 1983-01-01 | Paper |
On multiset orderings
Information Processing Letters | 1982-01-01 | Paper |
Récepteurs adaptatifs pour transmission de données a grande vitesse
Annals of Telecommunications | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3356645 (Why is no real title available?) | 1971-01-01 | Paper |
