Roel de Vrijer

Available identifiers

zbMath Open de-vrijer.roelMaRDI QIDQ220712

List of research outcomes

Publication	Date of Publication	Type
Extended term rewriting systems	2023-03-09	Paper
Projections for infinitary rewriting (extended version)	2019-06-25	Paper
Projections for infinitary rewriting	2018-04-23	Paper
In memoriam: Nicolaas Govert de Bruijn (1918--2012). Mathematics and language: the Automath project	2014-08-28	Paper
Proof Terms for Infinitary Rewriting	2014-07-24	Paper
Four equivalent equivalences of reductions	2013-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q3012528	2011-07-06	Paper
Local termination: theory and practice	2010-09-21	Paper
Proving Infinitary Normalization	2009-07-02	Paper
Local Termination	2009-06-30	Paper
Reduction Under Substitution	2008-08-28	Paper
Lambda calculus with patterns	2008-06-24	Paper
Iterative Lexicographic Path Orders	2007-09-07	Paper
A calculus of lambda calculus contexts	2003-05-12	Paper
Descendants and origins in term rewriting.	2003-01-14	Paper
A geometric proof of confluence by decreasing diagrams	2000-09-04	Paper
Extending partial combinatory algebras	1999-11-25	Paper
Modularity of confluence: A simplified proof	1994-04-04	Paper
https://portal.mardi4nfdi.de/entity/Q3202990	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3783265	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3791151	1987-01-01	Paper
A direct proof of the finite developments theorem	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4128794	1975-01-01	Paper

Research outcomes over time

This page was built for person: Roel de Vrijer