Lamba calculus with patterns / Vincent van OostromConfluence by decreasing diagrams / Vincent van OostromConfluence by decreasing diagrams / V. van OostromTransition system specifications in stalk format with bisimulation as a congruence / V. van Oostrom, E.P. de VinkComparing combinatory reduction systems and higher-order rewrite systems / V. van Oostrom, F. van RaamsdonkComparing combinatory reduction systems and higher-order rewrite systems / V. van Oostrom, F. van RaamsdonkConfluence for abstract and higher-order rewriting / Vincent van OostromWeak orthogonality implies confluence: the higher-order case / V. van Oostrom, F. van RaamsdonkTake Five / Vincent van OostromFour equivalent equivalences of reductions / Vincent van Oostrom, Roel de Vrijer
author
Combinatory reduction systems : introduction and survey / J.W. Klop, V. van Oostrom, F. van RaamsdonkCombinatory reduction systems : introduction and survey / J.W. Klop, V. van Oostrom, F. van RaamsdonkDiagram techniques for confluence / M. Bezem, J.W. Klop, V. van OostromDiagram techniques for confluence / M. Bezem, J.W. Klop, V. van OostromMeaningless terms in rewriting / R. Kennaway, V. van Oostrom, F.J. de VriesA geometric proof of confluence by decreasing diagrams / J.W. Klop, V. van Oostrom, R. de VrijerMeaningless terms in rewriting / Richard Kennaway, Vincent van Oostrom, Fer-Jan de VriesA geometric proof of confluence by decreasing diagrams / Jan Willem Klop, Vincent van Oostrom, Roel de VrijerA geometric proof of confluence by decreasing diagrams / J.W. Klop, V. van Oostrom, R. de VrijerDecomposition orders - another generalisation of the fundamental theorem of arithemetic / S.P. Luttik, V. van OostromVicious circles in orthogonal term rewriting systems / J. Ketema, J.W. Klop, V. van Oostrom