Term Rewriting Systems by “Terese” (Marc Bezem, Jan Willem Klop, and Roel de Vrijer, eds.), Cambridge University Press, Cambridge Tracts in Theoretical Computer Science55, 2003, hard cover: ISBN 0-521-39115-6, xxii+884 pages
2005 ◽
Vol 5
(3)
◽
pp. 395-399
◽
Keyword(s):
2004 ◽
Vol 29
(2)
◽
pp. 33-33
◽
2005 ◽
Vol 15
(4)
◽
pp. 651-651
◽
1998 ◽
Vol 208
(1-2)
◽
pp. 87-110
◽
2002 ◽
Vol 13
(06)
◽
pp. 873-887
Keyword(s):
1987 ◽
Vol 49
(1)
◽
pp. 43-79
◽