Vincent van Oostrom

Available identifiers

zbMath Open van-oostrom.vincentMaRDI QIDQ549185

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q2849584	2013-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q2843602	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

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: Vincent van Oostrom