BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Austria
1 × France
1 × Germany
1 × Greece
1 × Italy
1 × Spain
1 × United Kingdom
2 × Japan
2 × The Netherlands
2 × USA
Collaborated with:
∅ D.Hendriks B.Felgenhauer H.Zantema J.Jouannaud C.Appel J.G.Simonsen Z.Khasidashvili M.Ogawa R.Kennaway F.d.Vries N.Hirokawa J.Nagele M.Oyamaguchi J.Endrullis C.Grabmayer J.W.Klop
Talks about:
confluenc (4) rewrit (4) orthogon (3) order (3) normalis (2) modular (2) diagram (2) decreas (2) higher (2) famili (2)

Person: Vincent van Oostrom

DBLP DBLP: Oostrom:Vincent_van

Facilitated 1 volumes:

RTA 2004Ed

Contributed to:

RTA 20132013
RTA 20122012
RTA 20102010
ICALP (2) 20092009
IJCAR 20082008
RTA 20082008
RTA 20072007
FLOPS 20042004
CADE 20032003
RTA 20012001
RTA 19991999
RTA 19971997
ALP 19961996
RTA 19961996
CADE 20192019

Wrote 17 papers:

RTA-2013-FelgenhauerO #diagrams #order #proving
Proof Orders for Decreasing Diagrams (BF, VvO), pp. 174–189.
RTA-2012-OostromZ
Triangulation in Rewriting (VvO, HZ), pp. 240–255.
RTA-2010-AppelOS #composition #higher-order
Higher-Order (Non-)Modularity (CA, VvO, JGS), pp. 17–32.
RTA-2010-EndrullisGHKO #normalisation #orthogonal
Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting (JE, CG, DH, JWK, VvO), pp. 85–102.
RTA-2010-Oostrom
Realising Optimal Sharing (VvO), pp. 5–6.
ICALP-v2-2009-JouannaudO #confluence #diagrams
Diagrammatic Confluence and Completion (JPJ, VvO), pp. 212–222.
IJCAR-2008-Oostrom #composition #confluence
Modularity of Confluence (VvO), pp. 348–363.
RTA-2008-Oostrom #confluence #diagrams
Confluence by Decreasing Diagrams (VvO), pp. 306–320.
RTA-2007-Oostrom #random
Random Descent (VvO), pp. 314–328.
FLOPS-2004-Oostrom
Sub-Birkhoff (VvO), pp. 180–195.
CADE-2003-HendriksO
adbmal (DH, VvO), pp. 136–150.
RTA-2001-KhasidashviliOO #normalisation #orthogonal
Uniform Normalisation beyond Orthogonality (ZK, MO, VvO), pp. 122–136.
RTA-1999-Oostrom #normalisation #orthogonal
Normalisation in Weakly Orthogonal Rewriting (VvO), pp. 60–74.
RTA-1997-Oostrom #finite #product line
Finite Family Developments (VvO), pp. 308–322.
ALP-1996-KennawayOV #term rewriting
Meaningless Terms in Rewriting (RK, VvO, FJdV), pp. 254–268.
RTA-1996-Oostrom #higher-order #product line
Higher-Order Families (VvO), pp. 392–407.
CADE-2019-HirokawaNOO #analysis #confluence #revisited
Confluence by Critical Pair Analysis Revisited (NH, JN, VvO, MO), pp. 319–336.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.