Roel de Vrijer

MaRDI QIDQ220712zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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
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
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

Research outcomes over time

This page was built for person: Roel de Vrijer