Review of "Y. Toyama, How to prove equivalence of term rewriting systems without induction, Theor. Comp. Sci. 90 (1991) 369-390"

Share/Save/Bookmark

Asveld, P.R.J. (1993) Review of "Y. Toyama, How to prove equivalence of term rewriting systems without induction, Theor. Comp. Sci. 90 (1991) 369-390". [Book Review]

[img]
Preview
PDF
39Kb
Item Type:Book Review
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:http://purl.utwente.nl/publications/66017
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page