Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
de Vrijer, Roel - Department of Computer Science, Vrije Universiteit Amsterdam
A Geometric Proof of Confluence by Decreasing Jan Willem Klop Vincent van Oostrom Roel de Vrijer
The context calculus c Extended Abstract
Electronic Notes in Theoretical Computer Science 70 No. 6 (2002) URL: http://www.elsevier.nl/locate/entcs/volume70.html 41 pages
Descendants and Origins in Term Rewriting Inge Bethke \Lambda Jan Willem Klop \Lambdaz y Roel de Vrijer z
