|
Search the dblp DataBase
Vincent van Oostrom:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Richard Kennaway, Vincent van Oostrom, Fer-Jan de Vries
Meaningless Terms in Rewriting. [Citation Graph (0, 0)][DBLP] ALP, 1996, pp:254-268 [Conf]
- Jan Willem Klop, Vincent van Oostrom, Roel C. de Vrijer
Iterative Lexicographic Path Orders. [Citation Graph (0, 0)][DBLP] Essays Dedicated to Joseph A. Goguen, 2006, pp:541-554 [Conf]
- Dimitri Hendriks, Vincent van Oostrom
adbmal [Citation Graph (0, 0)][DBLP] CADE, 2003, pp:136-150 [Conf]
- Vincent van Oostrom
Sub-Birkhoff. [Citation Graph (0, 0)][DBLP] FLOPS, 2004, pp:180-195 [Conf]
- Vincent van Oostrom
Development Closed Critical Pairs. [Citation Graph (0, 0)][DBLP] HOA, 1995, pp:185-200 [Conf]
- Vincent van Oostrom, Femke van Raamsdonk
Comparing Combinatory Reduction Systems and Higher-order Rewrite Systems. [Citation Graph (0, 0)][DBLP] HOA, 1993, pp:276-304 [Conf]
- Vincent van Oostrom, Femke van Raamsdonk
Weak Orthogonality Implies Confluence: The Higher Order Case. [Citation Graph (0, 0)][DBLP] LFCS, 1994, pp:379-392 [Conf]
- Zurab Khasidashvili, Mizuhito Ogawa, Vincent van Oostrom
Uniform Normalisation beyond Orthogonality. [Citation Graph (0, 0)][DBLP] RTA, 2001, pp:122-136 [Conf]
- Vincent van Oostrom
Higher-Order Families. [Citation Graph (0, 0)][DBLP] RTA, 1996, pp:392-407 [Conf]
- Vincent van Oostrom
Finite Family Developments. [Citation Graph (0, 0)][DBLP] RTA, 1997, pp:308-322 [Conf]
- Vincent van Oostrom
Normalisation in Weakly Orthogonal Rewriting. [Citation Graph (0, 0)][DBLP] RTA, 1999, pp:60-74 [Conf]
- Vincent van Oostrom, Erik P. de Vink
Transition System Specifications in Stalk Formal with Bisimulation as a Congruence. [Citation Graph (0, 0)][DBLP] STACS, 1994, pp:569-580 [Conf]
- Jeroen Ketema, Jan Willem Klop, Vincent van Oostrom
Vicious Circles in Orthogonal Term Rewriting Systems. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:124, n:2, pp:65-77 [Journal]
- Zurab Khasidashvili, Vincent van Oostrom
Context-sensitive conditional expression reduction systems. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal]
- Vincent van Oostrom, Roel C. de Vrijer
Four equivalent equivalences of reductions. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:70, n:6, pp:- [Journal]
- Marc Bezem, Jan Willem Klop, Vincent van Oostrom
Diagram Techniques for Confluence. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1998, v:141, n:2, pp:172-204 [Journal]
- Zurab Khasidashvili, Mizuhito Ogawa, Vincent van Oostrom
Perpetuality and Uniform Normalization in Orthogonal Rewrite Systems. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2001, v:164, n:1, pp:118-151 [Journal]
- Joost Engelfriet, Vincent van Oostrom
Regular Description of Context-Free Graph Languages. [Citation Graph (0, 0)][DBLP] J. Comput. Syst. Sci., 1996, v:53, n:3, pp:556-574 [Journal]
- Joost Engelfriet, Vincent van Oostrom
Logical Description of Contex-Free Graph Languages. [Citation Graph (0, 0)][DBLP] J. Comput. Syst. Sci., 1997, v:55, n:3, pp:489-503 [Journal]
- Richard Kennaway, Vincent van Oostrom, Fer-Jan de Vries
Meaningless Terms in Rewriting. [Citation Graph (0, 0)][DBLP] Journal of Functional and Logic Programming, 1999, v:1999, n:1, pp:- [Journal]
- Jan Willem Klop, Vincent van Oostrom, Roel C. de Vrijer
A geometric proof of confluence by decreasing diagrams. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 2000, v:10, n:3, pp:437-460 [Journal]
- Jan Willem Klop, Vincent van Oostrom, Femke van Raamsdonk
Combinatory Reduction Systems: Introduction and Survey. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1993, v:121, n:1&2, pp:279-308 [Journal]
- Bas Luttik, Vincent van Oostrom
Decomposition orders another generalisation of the fundamental theorem of arithmetic. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2005, v:335, n:2-3, pp:147-186 [Journal]
- Vincent van Oostrom
Confluence by Decreasing Diagrams. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1994, v:126, n:2, pp:259-280 [Journal]
- Vincent van Oostrom
Developing Developments. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1997, v:175, n:1, pp:159-181 [Journal]
- Jan Willem Klop, Vincent van Oostrom, Femke van Raamsdonk
Reduction Strategies and Acyclicity. [Citation Graph (0, 0)][DBLP] Rewriting, Computation and Proof, 2007, pp:89-112 [Conf]
- Vincent van Oostrom
Random Descent. [Citation Graph (0, 0)][DBLP] RTA, 2007, pp:314-328 [Conf]
Modularity of Confluence. [Citation Graph (, )][DBLP]
Diagrammatic Confluence and Completion. [Citation Graph (, )][DBLP]
Confluence by Decreasing Diagrams. [Citation Graph (, )][DBLP]
Higher-Order (Non-)Modularity . [Citation Graph (, )][DBLP]
Realising Optimal Sharing. [Citation Graph (, )][DBLP]
Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs
|