Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="van Oostrom, Vincent"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
On equal
\mu
-terms
Jörg Endrullis
,
Clemens Grabmayer
,
Jan Willem Klop
,
Vincent van Oostrom
Theoretical Computer Science
412
(28), 2011, pp. 3175-3202
Diagrammatic confluence and completion
Jean-Pierre Jouannaud
,
Vincent van Oostrom
Lecture Notes in Computer Science
5556
, 2009, pp. 212-222
Lambda calculus with patterns
Jan Willem Klop
,
Vincent van Oostrom
,
Roel de Vrijer
Theoretical Computer Science
398
(1-3), 2008, pp. 16-31
Decomposition orders - Another generalisation of the fundamental theorem of arithmetic
Bas Luttik
,
Vincent van Oostrom
Theoretical Computer Science
335
(2-3), 2005, pp. 147-186
Perpetuality and uniform normalization in orthogonal rewrite systems
Zurab Khasidashvili
,
Mizuhito Ogawa
,
Vincent van Oostrom
Information and Computation
164
(1), 2001, pp. 118-151
Developing developments
Vincent van Oostrom
Theoretical Computer Science
175
(1), 1997, pp. 159-181
Confluence by decreasing diagrams
Vincent van Oostrom
Theoretical Computer Science
126
(2), 1994, pp. 259-280