V. V. Oostrom
发表
C. Retoré,
A. Visser,
J. Eijck,
2016
.
M. Wiering,
L. Pape,
F. Wiering,
2006
.
J. Klop,
R. D. Vrijer,
V. V. Oostrom,
2004
.
Vincent van Oostrom,
V. V. Oostrom,
2008
.
Jan van Eijck,
Vincent van Oostrom,
Albert Visser,
2016
.
Jan van Eijck,
Vincent van Oostrom,
Albert Visser,
2016
.
J. Klop,
Patrick Dehornoy,
V. V. Oostrom,
2013
.
J. Simonsen,
V. V. Oostrom,
C. Appel,
2010
.
J. Simonsen,
V. V. Oostrom,
C. Appel,
2010
.
A. Visser,
J. Eijck,
V. Kanovei,
2016
.
V. V. Oostrom,
2015
.
Uniform Normalisation beyond Orthogonality Category 1: Regular research paper describing new results
Z. Khasidashvili,
V. V. Oostrom,
Mizuhito Ogawa,
2000
.
Vincent van Oostrom,
Roel C. de Vrijer,
R. D. Vrijer,
2002,
WRS.
Joost Engelfriet,
Vincent van Oostrom,
J. Engelfriet,
1997,
J. Comput. Syst. Sci..
Joost Engelfriet,
Vincent van Oostrom,
J. Engelfriet,
1996,
J. Comput. Syst. Sci..
Vincent van Oostrom,
Jan Willem Klop,
Femke van Raamsdonk,
1993,
Theor. Comput. Sci..
Vincent van Oostrom,
Aart Middeldorp,
Femke van Raamsdonk,
2005,
Processes, Terms and Cycles.
Erik P. de Vink,
Vincent van Oostrom,
E. Vink,
1994,
STACS.
Vincent van Oostrom,
Jan Willem Klop,
Roel de Vrijer,
2002
.
Vincent van Oostrom,
Nao Hirokawa,
Julian Nagele,
2019,
CADE.
Vincent van Oostrom,
Albert Visser,
Clemens Grabmayer,
2009,
The Review of Symbolic Logic.
Vincent van Oostrom,
V. V. Oostrom,
1999,
RTA.
Vincent van Oostrom,
Jan Willem Klop,
Roel C. de Vrijer,
2008,
Theor. Comput. Sci..
A Short Mechanized Proof of the Church-Rosser Theorem by the Z-property for the λβ-calculus in Nominal Isabelle
pdf
Vincent van Oostrom,
Julian Nagele,
Christian Sternagel,
2016,
ArXiv.
V. V. Oostrom,
2023,
TERMGRAPH@FSCD.
Vincent van Oostrom,
Bertram Felgenhauer,
Aart Middeldorp,
2014,
FSTTCS.
Hans Zantema,
Vincent van Oostrom,
H. Zantema,
2012,
RTA.
Jakob Grue Simonsen,
Vincent van Oostrom,
Claus Appel,
2010,
RTA.
Vincent van Oostrom,
V. V. Oostrom,
2021,
FSCD.
V. V. Oostrom,
Nao Hirokawa,
Michio,
2017
.
Vincent van Oostrom,
Yoshihito Toyama,
Y. Toyama,
2016,
FSCD.
V. V. Oostrom,
2012
.
V. V. Oostrom,
2012
.
Vincent van Oostrom,
Jan Willem Klop,
Femke van Raamsdonk,
2007,
Rewriting, Computation and Proof.
Vincent van Oostrom,
Jan Willem Klop,
Roel C. de Vrijer,
2006,
Essays Dedicated to Joseph A. Goguen.
J. Klop,
R. D. Vrijer,
V. V. Oostrom,
2004
.
Vincent van Oostrom,
Jan Willem Klop,
Roel C. de Vrijer,
2000,
J. Log. Comput..
Vincent van Oostrom,
Jan Willem Klop,
Jörg Endrullis,
2011,
Theor. Comput. Sci..
Vincent van Oostrom,
V. V. Oostrom,
1994,
Theor. Comput. Sci..
Vincent van Oostrom,
Bertram Felgenhauer,
V. V. Oostrom,
2013,
RTA.
V. van Oostrom,
V. V. Oostrom,
1994
.
Vincent van Oostrom,
Richard Kennaway,
Fer-Jan de Vries,
1996,
J. Funct. Log. Program..
Vincent van Oostrom,
V. V. Oostrom,
1996,
RTA.
Vincent van Oostrom,
Jan Willem Klop,
Femke van Raamsdonk,
1993
.
Jan van Eijck,
Valentin Goranko,
Vincent van Oostrom,
2016
.
Patrick Dehornoy,
Vincent van Oostrom,
Patrick Dehornoy,
2006,
Mathematical Structures in Computer Science.
Bas Luttik,
Vincent van Oostrom,
V. V. Oostrom,
2004,
Theor. Comput. Sci..
Vincent van Oostrom,
Femke van Raamsdonk,
F. Raamsdonk,
2011
.
Jean-Pierre Jouannaud,
Vincent van Oostrom,
J. Jouannaud,
2009,
ICALP.
Vincent van Oostrom,
V. V. Oostrom,
2008
.
Vincent van Oostrom,
V. V. Oostrom,
1997,
Theor. Comput. Sci..
Michael Rathjen,
M. Dezani-Ciancaglini,
F. Honsell,
2014
.
Vincent van Oostrom,
Femke van Raamsdonk,
F. Raamsdonk,
1993,
HOA.