No CrossRef data available.
Article contents
Terese . Term rewriting systems, edited by Marc Bezem, Jan Willem Klop, and Roel de Vrijer, Cambridge Tracts in Theoretical Computer Science, vol. 55. Cambridge University Press, 2003, xxii + 884 pp.
Published online by Cambridge University Press: 15 January 2014
Abstract

- Type
- Reviews
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2004