Bachmair,Leo (ed.)

Rewriting techniques and applications / Bachmair,Leo (ed.). - 11th international c - Berlin: Springer, 2000. - x,273p;23cm - Lecture notes in computer science;No-1833 .

Includes bibliographical references.

354067778x

004.Lec