| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jörg Endrullis, Clemens Grabmayer, Jan Willem Klop, Vincent van Oostrom |
On equal μ-terms.  |
Theor. Comput. Sci.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent van Oostrom |
Realising Optimal Sharing. |
RTA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop, Vincent van Oostrom |
Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting. |
RTA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Claus Appel, Vincent van Oostrom, Jakob Grue Simonsen |
Higher-Order (Non-)Modularity . |
RTA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Pierre Jouannaud, Vincent van Oostrom |
Diagrammatic Confluence and Completion. |
ICALP |
2009 |
DBLP DOI BibTeX RDF |
decreasing diagrams, completion, rewriting, confluence |
| 1 | Jan Willem Klop, Vincent van Oostrom, Roel C. de Vrijer |
Lambda calculus with patterns. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Dehornoy, Vincent van Oostrom |
Using groups for investigating rewrite systems. |
Mathematical Structures in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent van Oostrom |
Modularity of Confluence. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent van Oostrom |
Confluence by Decreasing Diagrams. |
RTA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent van Oostrom |
Random Descent. |
RTA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Willem Klop, Vincent van Oostrom, Femke van Raamsdonk |
Reduction Strategies and Acyclicity. |
Rewriting, Computation and Proof |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Willem Klop, Vincent van Oostrom, Roel C. de Vrijer |
Iterative Lexicographic Path Orders. |
Essays Dedicated to Joseph A. Goguen |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Bas Luttik, Vincent van Oostrom |
Decomposition orders another generalisation of the fundamental theorem of arithmetic. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeroen Ketema, Jan Willem Klop, Vincent van Oostrom |
Vicious Circles in Orthogonal Term Rewriting Systems. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel C. de Vrijer (eds.) |
Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday |
Processes, Terms and Cycles |
2005 |
DBLP BibTeX RDF |
|
| 1 | Vincent van Oostrom (eds.) |
Rewriting Techniques and Applications, 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings |
RTA |
2004 |
DBLP BibTeX RDF |
|
| 1 | Vincent van Oostrom |
Sub-Birkhoff. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitri Hendriks, Vincent van Oostrom |
adbmal |
CADE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent van Oostrom, Roel C. de Vrijer |
Four equivalent equivalences of reductions. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Zurab Khasidashvili, Mizuhito Ogawa, Vincent van Oostrom |
Perpetuality and Uniform Normalization in Orthogonal Rewrite Systems. |
Inf. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Zurab Khasidashvili, Mizuhito Ogawa, Vincent van Oostrom |
Uniform Normalisation beyond Orthogonality. |
RTA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Willem Klop, Vincent van Oostrom, Roel C. de Vrijer |
A geometric proof of confluence by decreasing diagrams. |
J. Log. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Kennaway, Vincent van Oostrom, Fer-Jan de Vries |
Meaningless Terms in Rewriting. |
Journal of Functional and Logic Programming |
1999 |
DBLP BibTeX RDF |
|
| 1 | Vincent van Oostrom |
Normalisation in Weakly Orthogonal Rewriting. |
RTA |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Bezem, Jan Willem Klop, Vincent van Oostrom |
Diagram Techniques for Confluence. |
Inf. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent van Oostrom |
Developing Developments. |
Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost Engelfriet, Vincent van Oostrom |
Logical Description of Contex-Free Graph Languages. |
J. Comput. Syst. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent van Oostrom |
Finite Family Developments. |
RTA |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost Engelfriet, Vincent van Oostrom |
Regular Description of Context-Free Graph Languages. |
J. Comput. Syst. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Kennaway, Vincent van Oostrom, Fer-Jan de Vries |
Meaningless Terms in Rewriting. |
ALP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent van Oostrom |
Higher-Order Families. |
RTA |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Zurab Khasidashvili, Vincent van Oostrom |
Context-sensitive conditional expression reduction systems. |
Electr. Notes Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent van Oostrom |
Development Closed Critical Pairs. |
HOA |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent van Oostrom |
Confluence by Decreasing Diagrams. |
Theor. Comput. Sci. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent van Oostrom, Femke van Raamsdonk |
Weak Orthogonality Implies Confluence: The Higher Order Case. |
LFCS |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent van Oostrom, Erik P. de Vink |
Transition System Specifications in Stalk Formal with Bisimulation as a Congruence. |
STACS |
1994 |
DBLP DOI BibTeX RDF |
transition system specifications, Structured Operational Semantics, semantics of programming languages, bisimulation equivalence |
| 1 | Jan Willem Klop, Vincent van Oostrom, Femke van Raamsdonk |
Combinatory Reduction Systems: Introduction and Survey. |
Theor. Comput. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent van Oostrom, Femke van Raamsdonk |
Comparing Combinatory Reduction Systems and Higher-order Rewrite Systems. |
HOA |
1993 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")