International Conference, RTA-97,, 8, Rewriting techniques and applications : proceedings / 8th International Conference ; ed. Hubert Comon

Rewriting techniques and applications : proceedings / 8th International Conference ; ed. Hubert Comon . - Berlin : Springer-Verlag, cop. 1997 . - XI, 338 p. 24 cm . - (Lecture notes in computer science; 1232)
3-540-62950-5 Brochado

519.6