Conferencia

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

Guardado en:
Detalles Bibliográficos
Autor Corporativo: International Conference on Rewriting Techniques and Applications
Otros Autores: Bachmair, Leo (Editor, ed.)
Formato: Conferencia
Idioma:inglés
Publicado: Berlin ; Springer, c2000.
Colección:Lecture notes in computer science (Springer).
Materias:
Descripción
Notas:Actas de la 11a. Conferencia Internacional de Técnicas y Aplicaciones de Reescritura.
Descripción Física:x, 273 p. : il. ; 24 cm.
Bibliografía:Incluye referencias bibliográficas e índice.
ISBN:354067778X