Conference Proceeding

Rewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings

Saved in:
Bibliographic Details
Corporate Author: International Conference on Rewriting Techniques and Applications
Other Authors: Bachmair, Leo (Editor, ed.)
Format: Conference Proceeding
Language:English
Published: Berlin ; Springer, c2000.
Series:Lecture notes in computer science (Springer).
Subjects:
Description
Item Description:Actas de la 11a. Conferencia Internacional de Técnicas y Aplicaciones de Reescritura.
Physical Description:x, 273 p. : il. ; 24 cm.
Bibliography:Incluye referencias bibliográficas e índice.
ISBN:354067778X