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

Saved in:
Corporate Author: International Conference on Rewriting Techniques and Applications
Other Authors: Bachmair, Leo, (Editor, ed.)
Format: Book
Language:English
Published: Berlin ; Springer, c2000.
Series:Lecture notes in computer science (Springer).
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!
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