Searching for authors named "Vincent van Oostrom" – sorted by Relevance.
29 documents found, showing 1 through 10.
Next 10 →
-
Modularity of Confluence Constructed
- …Modularity of Confluence Constructed Vincent van Oostrom Utrecht University, Department…
- Add To MetaCart
-
Development Closed Critical Pairs
- …Development Closed Critical Pairs Vincent van Oostrom ? Information Processing Principles Research…
- Cited by 4 (1 self) – Add To MetaCart
-
Normalisation in Weakly Orthogonal Rewriting
- …Normalisation in weakly orthogonal rewriting Vincent van Oostrom, oostrom@(email omitted);, regular paper…
- Cited by 8 (4 self) – Add To MetaCart
-
Lambda calculus with patterns
- …Lambda Calculus with Patterns Vincent van Oostrom Department of Mathematics and Computer Science…
- Cited by 21 (1 self) – Add To MetaCart
-
Finite Family Developments
- …Finite Family Developments Regular Paper Vincent van Oostrom Vrije Universiteit, Department…
- Cited by 10 (4 self) – Add To MetaCart
-
Developing Developments
- …Developing Developments Vincent van Oostrom Technical Report: ISRL-94-4 December, 1994 Information…
- Cited by 11 (2 self) – Add To MetaCart
-
Higher-Order Families
- …Higher-Order Families Vincent van Oostrom Institut fur Informatik, Technische Universitat…
- Cited by 13 (2 self) – Add To MetaCart
-
Confluence by Decreasing Diagrams
- …Confluence by Decreasing Diagrams Vincent van Oostrom Department of Mathematics and Computer…
- Cited by 7 (5 self) – Add To MetaCart
-
Decreasing Diagrams Converted
- …Decreasing Diagrams Converted Vincent van Oostrom ⋆ Utrecht University, Dept. of Philosophy…
- Cited by 1 (1 self) – Add To MetaCart
-
Take Five
- …Take five Vincent van Oostrom June 5, 1996 Abstract This is a collection of five short notes…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
