×

zbMATH — the first resource for mathematics

van Oostrom, Vincent

Compute Distance To:
Author ID: van-oostrom.vincent Recent zbMATH articles by "van Oostrom, Vincent"
Published as: Van Oostrom, Vincent; van Oostrom, V.; van Oostrom, Vincent
Documents Indexed: 42 Publications since 1993, including 3 Books

Publications by Year

Citations contained in zbMATH Open

33 Publications have been cited 234 times in 152 Documents Cited by Year
Combinatory reduction systems: Introduction and survey. Zbl 0796.03024
Klop, Jan Willem; van Oostrom, Vincent; van Raamsdonk, Femke
48
1993
Confluence by decreasing diagrams. Zbl 0803.68058
van Oostrom, Vincent
35
1994
Meaningless terms in rewriting. Zbl 0924.68107
Kennaway, Richard; van Oostrom, Vincent; de Vries, Fer-Jan
17
1999
Logical description of context-free graph languages. Zbl 0897.68061
Engelfriet, Joost; van Oostrom, Vincent
14
1997
Weak orthogonality implies confluence: The higher-order case. Zbl 0964.68523
van Oostrom, Vincent; van Raamsdonk, Femke
14
1994
Lambda calculus with patterns. Zbl 1145.68012
Klop, Jan Willem; van Oostrom, Vincent; de Vrijer, Roel
13
2008
Developing developments. Zbl 0903.68104
van Oostrom, Vincent
13
1997
Confluence by decreasing diagrams. Converted. Zbl 1146.68044
van Oostrom, Vincent
12
2008
Finite family developments. Zbl 1379.68208
van Oostrom, Vincent
7
1997
Context-sensitive conditional expression reduction systems. Zbl 0910.68098
Khasidashvili, Zurab; van Oostrom, Vincent
7
1995
Diagram techniques for confluence. Zbl 0919.68077
Bezem, Marc; Klop, Jan Willem; van Oostrom, Vincent
5
1998
Proof orders for decreasing diagrams. Zbl 1356.03054
Felgenhauer, Bertram; Van Oostrom, Vincent
4
2011
Random descent. Zbl 1203.68082
van Oostrom, Vincent
4
2007
On equal \(\mu \)-terms. Zbl 1227.68041
Endrullis, Jörg; Grabmayer, Clemens; Klop, Jan Willem; van Oostrom, Vincent
3
2011
Diagrammatic confluence and completion. Zbl 1248.68277
Jouannaud, Jean-Pierre; van Oostrom, Vincent
3
2009
Modularity of confluence. Constructed. Zbl 1165.03321
van Oostrom, Vincent
3
2008
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
Middeldorp, Aart (ed.); van Oostrom, Vincent (ed.); van Raamsdonk, Femke (ed.); de Vrijer, Roel (ed.)
3
2005
Decomposition orders – another generalisation of the fundamental theorem of arithmetic. Zbl 1085.06009
Luttik, Bas; van Oostrom, Vincent
3
2005
Development closed critical pairs. Zbl 1407.68244
van Oostrom, Vincent
3
1996
Regular description of context-free graph languages. Zbl 0869.68063
Engelfriet, Joost; van Oostrom, Vincent
3
1996
On the termination of Russell’s description elimination algorithm. Zbl 1252.03004
Grabmayer, Clemens; Leo, Joop; van Oostrom, Vincent; Visser, Albert
2
2011
Higher-order (non-)modularity. Zbl 1236.68117
Appel, Claus; van Oostrom, Vincent; Simonsen, Jakob Grue
2
2010
Reduction strategies and acyclicity. Zbl 1186.68237
Klop, Jan Willem; van Oostrom, Vincent; van Raamsdonk, Femke
2
2007
Sub-Birkhoff. Zbl 1122.68461
van Oostrom, Vincent
2
2004
Perpetuality and uniform normalization in orthogonal rewrite systems. Zbl 1003.68057
Khasidashvili, Zurab; Ogawa, Mizuhito; van Oostrom, Vincent
2
2001
Uniform normalisation beyond orthogonality. Zbl 0981.68071
Khasidashvili, Zurab; Ogawa, Mizuhito; van Oostrom, Vincent
2
2001
Meaningless terms in rewriting. Zbl 1355.68138
Kennaway, Richard; van Oostrom, Vincent; de Vries, Fer-Jan
2
1996
Confluence by critical pair analysis revisited. Zbl 07178984
Hirokawa, Nao; Nagele, Julian; van Oostrom, Vincent; Oyamaguchi, Michio
1
2019
Unique normal forms in infinitary weakly orthogonal rewriting. Zbl 1236.68127
Endrullis, Jörg; Grabmayer, Clemens; Hendriks, Dimitri; Klop, Jan Willem; van Oostrom, Vincent
1
2010
Using groups for investigating rewrite systems. Zbl 1157.03015
Dehornoy, Patrick; van Oostrom, Vincent
1
2008
Iterative lexicographic path orders. Zbl 1132.68430
Klop, Jan Willem; van Oostrom, Vincent; de Vrijer, Roel
1
2006
Four equivalent equivalences of reductions. Zbl 1270.68142
van Oostrom, Vincent; de Vrijer, Roel
1
2002
A geometric proof of confluence by decreasing diagrams. Zbl 0965.68034
Klop, Jan Willem; van Oostrom, Vincent; de Vrijer, Roel
1
2000
Confluence by critical pair analysis revisited. Zbl 07178984
Hirokawa, Nao; Nagele, Julian; van Oostrom, Vincent; Oyamaguchi, Michio
1
2019
Proof orders for decreasing diagrams. Zbl 1356.03054
Felgenhauer, Bertram; Van Oostrom, Vincent
4
2011
On equal \(\mu \)-terms. Zbl 1227.68041
Endrullis, Jörg; Grabmayer, Clemens; Klop, Jan Willem; van Oostrom, Vincent
3
2011
On the termination of Russell’s description elimination algorithm. Zbl 1252.03004
Grabmayer, Clemens; Leo, Joop; van Oostrom, Vincent; Visser, Albert
2
2011
Higher-order (non-)modularity. Zbl 1236.68117
Appel, Claus; van Oostrom, Vincent; Simonsen, Jakob Grue
2
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
1
2010
Diagrammatic confluence and completion. Zbl 1248.68277
Jouannaud, Jean-Pierre; van Oostrom, Vincent
3
2009
Lambda calculus with patterns. Zbl 1145.68012
Klop, Jan Willem; van Oostrom, Vincent; de Vrijer, Roel
13
2008
Confluence by decreasing diagrams. Converted. Zbl 1146.68044
van Oostrom, Vincent
12
2008
Modularity of confluence. Constructed. Zbl 1165.03321
van Oostrom, Vincent
3
2008
Using groups for investigating rewrite systems. Zbl 1157.03015
Dehornoy, Patrick; van Oostrom, Vincent
1
2008
Random descent. Zbl 1203.68082
van Oostrom, Vincent
4
2007
Reduction strategies and acyclicity. Zbl 1186.68237
Klop, Jan Willem; van Oostrom, Vincent; van Raamsdonk, Femke
2
2007
Iterative lexicographic path orders. Zbl 1132.68430
Klop, Jan Willem; van Oostrom, Vincent; de Vrijer, Roel
1
2006
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
Middeldorp, Aart (ed.); van Oostrom, Vincent (ed.); van Raamsdonk, Femke (ed.); de Vrijer, Roel (ed.)
3
2005
Decomposition orders – another generalisation of the fundamental theorem of arithmetic. Zbl 1085.06009
Luttik, Bas; van Oostrom, Vincent
3
2005
Sub-Birkhoff. Zbl 1122.68461
van Oostrom, Vincent
2
2004
Four equivalent equivalences of reductions. Zbl 1270.68142
van Oostrom, Vincent; de Vrijer, Roel
1
2002
Perpetuality and uniform normalization in orthogonal rewrite systems. Zbl 1003.68057
Khasidashvili, Zurab; Ogawa, Mizuhito; van Oostrom, Vincent
2
2001
Uniform normalisation beyond orthogonality. Zbl 0981.68071
Khasidashvili, Zurab; Ogawa, Mizuhito; van Oostrom, Vincent
2
2001
A geometric proof of confluence by decreasing diagrams. Zbl 0965.68034
Klop, Jan Willem; van Oostrom, Vincent; de Vrijer, Roel
1
2000
Meaningless terms in rewriting. Zbl 0924.68107
Kennaway, Richard; van Oostrom, Vincent; de Vries, Fer-Jan
17
1999
Diagram techniques for confluence. Zbl 0919.68077
Bezem, Marc; Klop, Jan Willem; van Oostrom, Vincent
5
1998
Logical description of context-free graph languages. Zbl 0897.68061
Engelfriet, Joost; van Oostrom, Vincent
14
1997
Developing developments. Zbl 0903.68104
van Oostrom, Vincent
13
1997
Finite family developments. Zbl 1379.68208
van Oostrom, Vincent
7
1997
Development closed critical pairs. Zbl 1407.68244
van Oostrom, Vincent
3
1996
Regular description of context-free graph languages. Zbl 0869.68063
Engelfriet, Joost; van Oostrom, Vincent
3
1996
Meaningless terms in rewriting. Zbl 1355.68138
Kennaway, Richard; van Oostrom, Vincent; de Vries, Fer-Jan
2
1996
Context-sensitive conditional expression reduction systems. Zbl 0910.68098
Khasidashvili, Zurab; van Oostrom, Vincent
7
1995
Confluence by decreasing diagrams. Zbl 0803.68058
van Oostrom, Vincent
35
1994
Weak orthogonality implies confluence: The higher-order case. Zbl 0964.68523
van Oostrom, Vincent; van Raamsdonk, Femke
14
1994
Combinatory reduction systems: Introduction and survey. Zbl 0796.03024
Klop, Jan Willem; van Oostrom, Vincent; van Raamsdonk, Femke
48
1993
all top 5

Cited by 177 Authors

10 Fernández, Maribel
10 Klop, Jan Willem
9 van Oostrom, Vincent
8 Kesner, Delia
8 Middeldorp, Aart
7 Endrullis, Jörg
5 Blanqui, Frédéric
5 Bonelli, Eduardo
5 Mackie, Ian
5 Zankl, Harald
4 Ayala-Rincón, Mauricio
4 Cirstea, Horatiu
4 Courcelle, Bruno
4 Dezani-Ciancaglini, Mariangiola
4 Felgenhauer, Bertram
4 Gabbay, Murdoch James
4 Hirokawa, Nao
4 Jouannaud, Jean-Pierre
4 Simonsen, Jakob Grue
3 Alves, Sandra
3 Aoto, Takahito
3 Ariola, Zena M.
3 Bertolissi, Clara
3 de Vries, Fer-Jan J.
3 Engelfriet, Joost
3 Florido, Mário
3 Ketema, Jeroen
3 Kirchner, Claude
3 Pous, Damien
3 Severi, Paula Gabriela
3 Sinot, François-Régis
3 Sørensen, Morten Heine B.
3 Viso, Andrés
2 Barbanera, Franco
2 Czajka, Łukasz
2 Dal Lago, Ugo
2 De Vrijer, Roel C.
2 Di Cosmo, Roberto
2 Edi, Juan
2 Fischer, Eldar
2 Grabmayer, Clemens
2 Gramlich, Bernhard
2 Hamana, Makoto
2 Hendriks, Dimitri
2 Houtmann, Clément
2 Kahrs, Stefan Michael
2 Khasidashvili, Zurab O.
2 Liquori, Luigi
2 Liu, Jiaxiang
2 Makowsky, Johann-Andreas
2 Maneth, Sebastian
2 Mönnich, Uwe
2 Morawietz, Frank
2 Nagele, Julian
2 Ogawa, Mizuhito
2 Paul, Christophe
2 Ríos, Alejandro
2 Rocha-Oliveira, Ana Cristina
2 Sternagel, Christian
2 Toyama, Yoshihito
2 van Bakel, Steffen
2 Wack, Benjamin
2 Zantema, Hans
1 Aiguier, Marc
1 Akama, Yohji
1 Alberucci, Luca
1 Alleaume, Clément
1 Amblard, Maxime
1 Antoy, Sergio
1 Asada, Kazuyuki
1 Bacelar Almeida, José
1 Bahr, Patrick
1 Baillot, Patrick
1 Baldan, Paolo
1 Barenbaum, Pablo
1 Barthe, Gilles
1 Berarducci, Alessandro
1 Berry, Vincent
1 Bethke, Inge
1 Bezem, Marc
1 Blanchette, Jasmin Christian
1 Bloem, Roderick
1 Blom, Stefan
1 Bloo, Roel
1 Blumensath, Achim
1 Boudol, Gérard
1 Bruggink, H. J. Sander
1 Bucciarelli, Antonio
1 Calvès, Christophe
1 Cauderlier, Raphaël
1 Corneil, Derek Gordon
1 Corradini, Andrea
1 Dami, Laurent
1 Dehornoy, Patrick
1 Dreier, Jannik
1 Droste, Manfred
1 Dubois, Catherine
1 Ene, Cristian
1 Facchini, Alessandro
1 Faure, Germain
...and 77 more Authors

Citations by Year