Concepedia

Vincent van Oostrom

VV

Statistics

Publications

14

Citations

355

H-Index

12

Active since

1994

Affiliations

Utrecht University(Current)

Vrije Universiteit Amsterdam

Centrum Wiskunde & Informatica

Leiden University

University of East Anglia

Vincent van Oostrom is an author at Utrecht University specializing in formal methods, automated reasoning, and engineering.

ORCID

Top concepts

Publications per year

1994–2015

14

Publications

14

Confluence by decreasing diagrams

Vincent van Oostrom · Theoretical Computer Science · 1994 · 65 citations

, , +3

Developing developments

Vincent van Oostrom · Theoretical Computer Science · 1997 · 57 citations

Lambda calculus with patterns

Jan Willem Klop, Vincent van Oostrom, Roel de Vrijer · Theoretical Computer Science · 2008 · 46 citations · Full text

, , +3

Regular Description of Context-free Graph Languages

Joost Engelfriet, Vincent van Oostrom · Journal of Computer and System Sciences · 1996 · 35 citations

, , +8

Meaningless terms in rewriting

Richard Kennaway, Vincent van Oostrom, F. J. de Vries · Lecture notes in computer science · 1996 · 19 citations · Full text

1–5 of 14