Vincent van Oostrom

Available identifiers

zbMath Open van-oostrom.vincentMaRDI QIDQ549185

List of research outcomes

Publication	Date of Publication	Type
\( \alpha\)-avoidance	2024-10-21	Paper
https://portal.mardi4nfdi.de/entity/Q6202803	2024-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q6159940	2023-06-23	Paper
Higher-order families	2022-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q5013813	2021-12-02	Paper
Triangulation in rewriting	2020-05-27	Paper
Confluence by critical pair analysis revisited	2020-03-10	Paper
Development closed critical pairs	2019-01-11	Paper
Finite family developments	2017-11-17	Paper
https://portal.mardi4nfdi.de/entity/Q5369497	2017-10-17	Paper
https://portal.mardi4nfdi.de/entity/Q2958383	2017-02-01	Paper
Meaningless terms in rewriting	2017-01-19	Paper
Layer Systems for Proving Confluence	2015-09-17	Paper
Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples	2014-06-10	Paper
Vicious circles in orthogonal term rewriting systems	2013-09-20	Paper
Four equivalent equivalences of reductions	2013-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q5389133	2012-04-25	Paper
Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting	2012-04-25	Paper
ON THE TERMINATION OF RUSSELL’S DESCRIPTION ELIMINATION ALGORITHM	2011-11-14	Paper
On equal \(\mu \)-terms	2011-07-07	Paper
Automated Deduction – CADE-19	2010-04-20	Paper
Diagrammatic Confluence and Completion	2009-07-14	Paper
Reduction Strategies and Acyclicity	2009-03-06	Paper
Using groups for investigating rewrite systems	2008-12-10	Paper
Modularity of Confluence	2008-11-27	Paper
Confluence by Decreasing Diagrams	2008-08-28	Paper
Lambda calculus with patterns	2008-06-24	Paper
Random Descent	2008-01-02	Paper
Functional and Logic Programming	2007-09-25	Paper
Iterative Lexicographic Path Orders	2007-09-07	Paper
Decomposition orders -- another generalisation of the fundamental theorem of arithmetic	2005-06-10	Paper
Perpetuality and uniform normalization in orthogonal rewrite systems	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q2778875	2002-03-21	Paper
A geometric proof of confluence by decreasing diagrams	2000-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q4501166	2000-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q4942659	2000-03-16	Paper
https://portal.mardi4nfdi.de/entity/Q4259973	1999-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q4222804	1998-12-13	Paper
Diagram techniques for confluence	1998-11-10	Paper
Logical description of context-free graph languages	1998-08-04	Paper
Developing developments	1998-07-23	Paper
Regular description of context-free graph languages	1997-03-18	Paper
Combinatory reduction systems: Introduction and survey	1994-09-26	Paper
Confluence by decreasing diagrams	1994-05-05	Paper

Research outcomes over time

This page was built for person: Vincent van Oostrom