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
https://portal.mardi4nfdi.de/entity/Q2878128	2014-08-28	Paper
Proof Terms for Infinitary Rewriting	2014-07-24	Paper
https://portal.mardi4nfdi.de/entity/Q2843602	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Roel de Vrijer