Rewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings
Leo Bachmair (ed.).
- Berlin ; Springer, c2000.
- x, 273 p. : il. ; 24 cm.
- Lecture notes in computer science, .
- Lecture notes in computer science (Springer). 1833 .
Actas de la 11a. Conferencia Internacional de Técnicas y Aplicaciones de Reescritura.
Incluye referencias bibliográficas e índice.
354067778X
Informática
Programación de computadora
Aplicaciones de computadores
005.13
Actas de la 11a. Conferencia Internacional de Técnicas y Aplicaciones de Reescritura.
Incluye referencias bibliográficas e índice.
354067778X
Informática
Programación de computadora
Aplicaciones de computadores
005.13