Errata to Term Rewriting Systems by Terese
- Page 33, third line of the text between 2.1.20 and 2.1.21:
read "maximal" instead of "minimal"
- Page 74, the second equation in 3.3.24(ii) should be:
cur(F(t1, ..., tn)) = F cur(t1) ... cur(tn)
- Page 103, Remark 4.4.6, the ordering on symbols should be
\underline{F} > G, for all function symbols F, G
(Pointed out by Delia Kesner)
- Page 691:
- In the first sentence of Section 12.8 read
"Church-Rosser property in orthogonal systems"
instead of "Church-Rosser property".
- Theorem 12.8.2: read "orthogonal iTRS" instead of "iTRS".
Without the restriction of orthogonality the theorem would clearly be wrong.
Two different overlapping collapsing rules may give rise to the
same collapsing towers, like in the confluent iTRS given by the
rewrite rules:
A(x) -> x, A(A(x)) -> x
Last modified: Thu Oct 7 15:29:11 CEST 2004