Barendsen, Erik [et al]
Term rewriting systems - Cambridge University Press Cambridge 2003. - xxii, 884 p. - Cambridge tracts in theoretical computer science: 55 .
0521391156
Rewriting systems (Computer science)
681.3 TER
Term rewriting systems - Cambridge University Press Cambridge 2003. - xxii, 884 p. - Cambridge tracts in theoretical computer science: 55 .
0521391156
Rewriting systems (Computer science)
681.3 TER