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