| Publication | Date of Publication | Type |
|---|
Extended term rewriting systems
Conditional and Typed Rewriting Systems | 2023-03-09 | Paper |
Projections for infinitary rewriting (extended version)
Theoretical Computer Science | 2019-06-25 | Paper |
Projections for infinitary rewriting
(available as arXiv preprint) | 2018-04-23 | Paper |
In memoriam: Nicolaas Govert de Bruijn (1918--2012). Mathematics and language: the Automath project
Nieuw Archief voor Wiskunde. Vijfde Serie | 2014-08-28 | Paper |
Proof Terms for Infinitary Rewriting
Lecture Notes in Computer Science | 2014-07-24 | Paper |
| Four equivalent equivalences of reductions | 2013-08-23 | Paper |
| Infinitary normalization | 2011-07-06 | Paper |
Local termination: theory and practice
Logical Methods in Computer Science | 2010-09-21 | Paper |
Proving Infinitary Normalization
Lecture Notes in Computer Science | 2009-07-02 | Paper |
Local Termination
Rewriting Techniques and Applications | 2009-06-30 | Paper |
Reduction Under Substitution
Rewriting Techniques and Applications | 2008-08-28 | Paper |
Lambda calculus with patterns
Theoretical Computer Science | 2008-06-24 | Paper |
Iterative Lexicographic Path Orders
Algebra, Meaning, and Computation | 2007-09-07 | Paper |
A calculus of lambda calculus contexts
Journal of Automated Reasoning | 2003-05-12 | Paper |
Descendants and origins in term rewriting.
Information and Computation | 2003-01-14 | Paper |
Descendants and origins in term rewriting.
Information and Computation | 2003-01-14 | Paper |
A geometric proof of confluence by decreasing diagrams
Journal Of Logic And Computation | 2000-09-04 | Paper |
A geometric proof of confluence by decreasing diagrams
Journal Of Logic And Computation | 2000-09-04 | Paper |
Extending partial combinatory algebras
Mathematical Structures in Computer Science | 1999-11-25 | Paper |
Extending partial combinatory algebras
Mathematical Structures in Computer Science | 1999-11-25 | Paper |
Modularity of confluence: A simplified proof
Information Processing Letters | 1994-04-04 | Paper |
| scientific article; zbMATH DE number 4179332 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4045709 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4055611 (Why is no real title available?) | 1987-01-01 | Paper |
A direct proof of the finite developments theorem
Journal of Symbolic Logic | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3554266 (Why is no real title available?) | 1975-01-01 | Paper |
