Oostrom, Vincent van (1966-)

A geometric proof of confluence by decreasing diagrams / J.W. Klop, V. van Oostrom, R. de Vrijerschema:ProductModel A geometric proof of confluence by decreasing diagrams / J.W. Klop, V. van Oostrom, R. de Vrijerschema:ProductModel A geometric proof of confluence by decreasing diagrams / Jan Willem Klop, Vincent van Oostrom, Roel de Vrijerschema:ProductModel Combinatory reduction systems : introduction and survey / J.W. Klop, V. van Oostrom, F. van Raamsdonkschema:ProductModel Combinatory reduction systems : introduction and survey / J.W. Klop, V. van Oostrom, F. van Raamsdonkschema:ProductModel Decomposition orders - another generalisation of the fundamental theorem of arithemetic / S.P. Luttik, V. van Oostromschema:ProductModel Diagram techniques for confluence / M. Bezem, J.W. Klop, V. van Oostromschema:ProductModel Diagram techniques for confluence / M. Bezem, J.W. Klop, V. van Oostromschema:ProductModel Meaningless terms in rewriting / R. Kennaway, V. van Oostrom, F.J. de Vriesschema:ProductModel Meaningless terms in rewriting / Richard Kennaway, Vincent van Oostrom, Fer-Jan de Vriesschema:ProductModel Vicious circles in orthogonal term rewriting systems / J. Ketema, J.W. Klop, V. van Oostromschema:ProductModel

Comparing combinatory reduction systems and higher-order rewrite systems / V. van Oostrom, F. van Raamsdonkschema:ProductModel Comparing combinatory reduction systems and higher-order rewrite systems / V. van Oostrom, F. van Raamsdonkschema:ProductModel Confluence by decreasing diagrams / V. van Oostromschema:ProductModel Confluence by decreasing diagrams / Vincent van Oostromschema:ProductModel Confluence for abstract and higher-order rewriting / Vincent van Oostromschema:ProductModel Four equivalent equivalences of reductions / Vincent van Oostrom, Roel de Vrijerschema:ProductModel Lamba calculus with patterns / Vincent van Oostromschema:ProductModel Take Five / Vincent van Oostromschema:ProductModel Transition system specifications in stalk format with bisimulation as a congruence / V. van Oostrom, E.P. de Vinkschema:ProductModel Weak orthogonality implies confluence: the higher-order case / V. van Oostrom, F. van Raamsdonkschema:ProductModel