Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 : proceedings /

Збережено в:
Бібліографічні деталі
Співавтор: International Conference on Rewriting Techniques and Applications Montreal, Que.
Інші автори: Kirchner, Claude
Формат: Матеріали конференцій Книга
Мова:English
Опубліковано: Berlin ; New York : Springer-Verlag, c1993.
Серія:Lecture notes in computer science ; 690.
Предмети:
Опис
Фізичний опис:xi, 487 p. ; 23 cm.
Бібліографія:Includes bibliographical references and index.
ISBN:0387568689
3540568689