Back to University of Twente portal
Review of "S. Kahrs, Confluence of curried term-rewriting systems, J. Symbolic Comput. 19 (1995) 601-623"
Asveld, P.R.J. (1997) Review of "S. Kahrs, Confluence of curried term-rewriting systems, J. Symbolic Comput. 19 (1995) 601-623". [Book Review]
![[img]](http://doc.utwente.nl/style/images/fileicons/application_pdf.png) | PDF Restricted to UT campus only 45Kb |
| Item Type: | Book Review |
| Faculty: | Electrical Engineering, Mathematics and Computer Science (EEMCS) |
| Link to this item: | http://purl.utwente.nl/publications/62915 |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page