Term Rewriting Systems (Cambridge Tracts in Theoretical Computer Science, Vol. 55)

Name: Term Rewriting Systems (Cambridge Tracts in Theoretical Computer Science, Vol. 55)
Author: Marc Bezem

by Marc Bezem · 1 review · 2004

Reviewed by	Journal	Date	Access
Jürgen Giesl	The Bulletin of Symbolic Logic	2004-06-01	Restricted