vincent-van-oostrom documents

Confluence by decreasing diagrams
Documents Confluence by decreasing diagrams
Developing developments
Documents Developing developments
Four equivalent equivalences of reductions
Documents Four equivalent equivalences of reductions
Rewriting Techniques and Applications, 15 conf., RTA 2004
Documents Rewriting Techniques and Applications, 15 conf., RTA 2004