Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings /

Сохранить в:
Библиографические подробности
Соавтор: International Conference on Rewriting Techniques and Applications Chapel Hill, N.C.
Другие авторы: Dershowitz, Nachum
Формат: Материалы конференции
Язык:English
Опубликовано: Berlin ; New York : Springer-Verlag, c1989.
Серии:Lecture notes in computer science ; 355.
Предметы:
Описание
Объем:vii, 578 p. : ill. ; 25 cm.
Библиография:Includes bibliographical references.
ISBN:0387510818