Combinatory reduction systems: Introduction and survey. Zbl 0796.03024
Klop, Jan Willem; van Oostrom, Vincent; van Raamsdonk, Femke |
|
1993
|
Confluence by decreasing diagrams. Zbl 0803.68058
van Oostrom, Vincent |
|
1994
|
Meaningless terms in rewriting. Zbl 0924.68107
Kennaway, Richard; van Oostrom, Vincent; de Vries, Fer-Jan |
|
1999
|
Developing developments. Zbl 0903.68104
van Oostrom, Vincent |
|
1997
|
Weak orthogonality implies confluence: The higher-order case. Zbl 0964.68523
van Oostrom, Vincent; van Raamsdonk, Femke |
|
1994
|
Confluence by decreasing diagrams. Converted. Zbl 1146.68044
van Oostrom, Vincent |
|
2008
|
Lambda calculus with patterns. Zbl 1145.68012
Klop, Jan Willem; van Oostrom, Vincent; de Vrijer, Roel |
|
2008
|
Logical description of context-free graph languages. Zbl 0897.68061
Engelfriet, Joost; van Oostrom, Vincent |
|
1997
|
\(\rightthreetimes\). Zbl 1277.03011
Hendriks, Dimitri; van Oostrom, Vincent |
|
2003
|
Random descent. Zbl 1203.68082
van Oostrom, Vincent |
|
2007
|
Diagram techniques for confluence. Zbl 0919.68077
Bezem, Marc; Klop, Jan Willem; van Oostrom, Vincent |
|
1998
|
Higher-order families. Zbl 1503.68164
van Oostrom, Vincent |
|
1996
|
Context-sensitive conditional expression reduction systems. Zbl 0910.68098
Khasidashvili, Zurab; van Oostrom, Vincent |
|
1995
|
Proof orders for decreasing diagrams. Zbl 1356.03054
Felgenhauer, Bertram; Van Oostrom, Vincent |
|
2011
|
Finite family developments. Zbl 1379.68208
van Oostrom, Vincent |
|
1997
|
Decomposition orders – another generalisation of the fundamental theorem of arithmetic. Zbl 1085.06009
Luttik, Bas; van Oostrom, Vincent |
|
2005
|
Four equivalent equivalences of reductions. Zbl 1270.68142
van Oostrom, Vincent; de Vrijer, Roel |
|
2002
|
On equal \(\mu \)-terms. Zbl 1227.68041
Endrullis, Jörg; Grabmayer, Clemens; Klop, Jan Willem; van Oostrom, Vincent |
|
2011
|
Layer systems for proving confluence. Zbl 1354.68138
Felgenhauer, Bertram; Middeldorp, Aart; Zankl, Harald; Van Oostrom, Vincent |
|
2015
|
A geometric proof of confluence by decreasing diagrams. Zbl 0965.68034
Klop, Jan Willem; van Oostrom, Vincent; de Vrijer, Roel |
|
2000
|
Higher-order (non-)modularity. Zbl 1236.68117
Appel, Claus; van Oostrom, Vincent; Simonsen, Jakob Grue |
|
2010
|
Sub-Birkhoff. Zbl 1122.68461
van Oostrom, Vincent |
|
2004
|
Development closed critical pairs. Zbl 1407.68244
van Oostrom, Vincent |
|
1996
|
Diagrammatic confluence and completion. Zbl 1248.68277
Jouannaud, Jean-Pierre; van Oostrom, Vincent |
|
2009
|
Processes, terms and cycles: steps on the road to infinity. Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday. Zbl 1097.68007
|
|
2005
|
Perpetuality and uniform normalization in orthogonal rewrite systems. Zbl 1003.68057
Khasidashvili, Zurab; Ogawa, Mizuhito; van Oostrom, Vincent |
|
2001
|
Regular description of context-free graph languages. Zbl 0869.68063
Engelfriet, Joost; van Oostrom, Vincent |
|
1996
|
Triangulation in rewriting. Zbl 1437.68089
van Oostrom, Vincent; Zantema, Hans |
|
2012
|
Meaningless terms in rewriting. Zbl 1355.68138
Kennaway, Richard; van Oostrom, Vincent; de Vries, Fer-Jan |
|
1996
|
On the termination of Russell’s description elimination algorithm. Zbl 1252.03004
Grabmayer, Clemens; Leo, Joop; van Oostrom, Vincent; Visser, Albert |
|
2011
|
Rewriting techniques and applications. 15th international conference, RTA 2004, Aachen, Germany, June 3–5, 2004. Proceedings. Zbl 1052.68009
|
|
2004
|
Normalisation by random descent. Zbl 1387.68151
Van Oostrom, Vincent; Toyama, Yoshihito |
|
2016
|
Modularity of confluence. Constructed. Zbl 1165.03321
van Oostrom, Vincent |
|
2008
|
Iterative lexicographic path orders. Zbl 1132.68430
Klop, Jan Willem; van Oostrom, Vincent; de Vrijer, Roel |
|
2006
|
Uniform normalisation beyond orthogonality. Zbl 0981.68071
Khasidashvili, Zurab; Ogawa, Mizuhito; van Oostrom, Vincent |
|
2001
|
Confluence by critical pair analysis revisited. Zbl 1535.68122
Hirokawa, Nao; Nagele, Julian; van Oostrom, Vincent; Oyamaguchi, Michio |
|
2019
|
Reduction strategies and acyclicity. Zbl 1186.68237
Klop, Jan Willem; van Oostrom, Vincent; van Raamsdonk, Femke |
|
2007
|
Z. Syntax-free developments. Zbl 07700629
van Oostrom, Vincent |
|
2021
|
Logic colloquium ’99. Proceedings of the annual European summer meeting of the Association for Symbolic Logic, Utrecht, Netherlands, August 1–6, 1999. Zbl 1050.03004
|
|
2004
|
Nested term graphs (work in progress). Zbl 1476.68121
Grabmayer, Clemens; van Oostrom, Vincent |
|
2015
|
Using groups for investigating rewrite systems. Zbl 1157.03015
Dehornoy, Patrick; van Oostrom, Vincent |
|
2008
|
Infinitary term rewriting for weakly orthogonal systems: properties and counterexamples. Zbl 1290.68067
Endrullis, Joerg; Grabmayer, Clemens; Hendriks, Dimitri; Klop, Jan Willem; van Oostrom, Vincent |
|
2014
|
Unique normal forms in infinitary weakly orthogonal rewriting. Zbl 1236.68127
Endrullis, Jörg; Grabmayer, Clemens; Hendriks, Dimitri; Klop, Jan Willem; van Oostrom, Vincent |
|
2010
|
Z. Syntax-free developments. Zbl 07700629
van Oostrom, Vincent |
|
2021
|
Confluence by critical pair analysis revisited. Zbl 1535.68122
Hirokawa, Nao; Nagele, Julian; van Oostrom, Vincent; Oyamaguchi, Michio |
|
2019
|
Normalisation by random descent. Zbl 1387.68151
Van Oostrom, Vincent; Toyama, Yoshihito |
|
2016
|
Layer systems for proving confluence. Zbl 1354.68138
Felgenhauer, Bertram; Middeldorp, Aart; Zankl, Harald; Van Oostrom, Vincent |
|
2015
|
Nested term graphs (work in progress). Zbl 1476.68121
Grabmayer, Clemens; van Oostrom, Vincent |
|
2015
|
Infinitary term rewriting for weakly orthogonal systems: properties and counterexamples. Zbl 1290.68067
Endrullis, Joerg; Grabmayer, Clemens; Hendriks, Dimitri; Klop, Jan Willem; van Oostrom, Vincent |
|
2014
|
Triangulation in rewriting. Zbl 1437.68089
van Oostrom, Vincent; Zantema, Hans |
|
2012
|
Proof orders for decreasing diagrams. Zbl 1356.03054
Felgenhauer, Bertram; Van Oostrom, Vincent |
|
2011
|
On equal \(\mu \)-terms. Zbl 1227.68041
Endrullis, Jörg; Grabmayer, Clemens; Klop, Jan Willem; van Oostrom, Vincent |
|
2011
|
On the termination of Russell’s description elimination algorithm. Zbl 1252.03004
Grabmayer, Clemens; Leo, Joop; van Oostrom, Vincent; Visser, Albert |
|
2011
|
Higher-order (non-)modularity. Zbl 1236.68117
Appel, Claus; van Oostrom, Vincent; Simonsen, Jakob Grue |
|
2010
|
Unique normal forms in infinitary weakly orthogonal rewriting. Zbl 1236.68127
Endrullis, Jörg; Grabmayer, Clemens; Hendriks, Dimitri; Klop, Jan Willem; van Oostrom, Vincent |
|
2010
|
Diagrammatic confluence and completion. Zbl 1248.68277
Jouannaud, Jean-Pierre; van Oostrom, Vincent |
|
2009
|
Confluence by decreasing diagrams. Converted. Zbl 1146.68044
van Oostrom, Vincent |
|
2008
|
Lambda calculus with patterns. Zbl 1145.68012
Klop, Jan Willem; van Oostrom, Vincent; de Vrijer, Roel |
|
2008
|
Modularity of confluence. Constructed. Zbl 1165.03321
van Oostrom, Vincent |
|
2008
|
Using groups for investigating rewrite systems. Zbl 1157.03015
Dehornoy, Patrick; van Oostrom, Vincent |
|
2008
|
Random descent. Zbl 1203.68082
van Oostrom, Vincent |
|
2007
|
Reduction strategies and acyclicity. Zbl 1186.68237
Klop, Jan Willem; van Oostrom, Vincent; van Raamsdonk, Femke |
|
2007
|
Iterative lexicographic path orders. Zbl 1132.68430
Klop, Jan Willem; van Oostrom, Vincent; de Vrijer, Roel |
|
2006
|
Decomposition orders – another generalisation of the fundamental theorem of arithmetic. Zbl 1085.06009
Luttik, Bas; van Oostrom, Vincent |
|
2005
|
Processes, terms and cycles: steps on the road to infinity. Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday. Zbl 1097.68007
|
|
2005
|
Sub-Birkhoff. Zbl 1122.68461
van Oostrom, Vincent |
|
2004
|
Rewriting techniques and applications. 15th international conference, RTA 2004, Aachen, Germany, June 3–5, 2004. Proceedings. Zbl 1052.68009
|
|
2004
|
Logic colloquium ’99. Proceedings of the annual European summer meeting of the Association for Symbolic Logic, Utrecht, Netherlands, August 1–6, 1999. Zbl 1050.03004
|
|
2004
|
\(\rightthreetimes\). Zbl 1277.03011
Hendriks, Dimitri; van Oostrom, Vincent |
|
2003
|
Four equivalent equivalences of reductions. Zbl 1270.68142
van Oostrom, Vincent; de Vrijer, Roel |
|
2002
|
Perpetuality and uniform normalization in orthogonal rewrite systems. Zbl 1003.68057
Khasidashvili, Zurab; Ogawa, Mizuhito; van Oostrom, Vincent |
|
2001
|
Uniform normalisation beyond orthogonality. Zbl 0981.68071
Khasidashvili, Zurab; Ogawa, Mizuhito; van Oostrom, Vincent |
|
2001
|
A geometric proof of confluence by decreasing diagrams. Zbl 0965.68034
Klop, Jan Willem; van Oostrom, Vincent; de Vrijer, Roel |
|
2000
|
Meaningless terms in rewriting. Zbl 0924.68107
Kennaway, Richard; van Oostrom, Vincent; de Vries, Fer-Jan |
|
1999
|
Diagram techniques for confluence. Zbl 0919.68077
Bezem, Marc; Klop, Jan Willem; van Oostrom, Vincent |
|
1998
|
Developing developments. Zbl 0903.68104
van Oostrom, Vincent |
|
1997
|
Logical description of context-free graph languages. Zbl 0897.68061
Engelfriet, Joost; van Oostrom, Vincent |
|
1997
|
Finite family developments. Zbl 1379.68208
van Oostrom, Vincent |
|
1997
|
Higher-order families. Zbl 1503.68164
van Oostrom, Vincent |
|
1996
|
Development closed critical pairs. Zbl 1407.68244
van Oostrom, Vincent |
|
1996
|
Regular description of context-free graph languages. Zbl 0869.68063
Engelfriet, Joost; van Oostrom, Vincent |
|
1996
|
Meaningless terms in rewriting. Zbl 1355.68138
Kennaway, Richard; van Oostrom, Vincent; de Vries, Fer-Jan |
|
1996
|
Context-sensitive conditional expression reduction systems. Zbl 0910.68098
Khasidashvili, Zurab; van Oostrom, Vincent |
|
1995
|
Confluence by decreasing diagrams. Zbl 0803.68058
van Oostrom, Vincent |
|
1994
|
Weak orthogonality implies confluence: The higher-order case. Zbl 0964.68523
van Oostrom, Vincent; van Raamsdonk, Femke |
|
1994
|
Combinatory reduction systems: Introduction and survey. Zbl 0796.03024
Klop, Jan Willem; van Oostrom, Vincent; van Raamsdonk, Femke |
|
1993
|