Rewriting techniques and applications /
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
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