Reviews of Term Rewriting Systems by Terese

• Review by Jürgen Giesl in Bulletin of Symbolic Logic, 10(2): 223-225, 2004.
• Review by Jean-Pierre Jouannaud in The Computer Journal, Volume 47, Issue 1, January 2004: p. 135
• Review by Nachum Dershowitz in Theory and Practice of Logic Programming, Volume ?, 2005

Last modified: Wed Apr 13 13:29:48 CEST 2005