TY  - BOOK
AU  - Ohlebusch,Enno
TI  - Advanced topics in term rewriting
SN  - 0387952500 (alk. paper)
AV  - QA267 O45 2002
U1  - 005.13/1 21
PY  - 2002///
CY  - New York
PB  - Springer
KW  - Rewriting systems (Computer science)
KW  - Sistema de reescritura ( Ciencia computacionales)
KW  - ITEC
N1  - Incluye referencias bibliográficas (p. [385]-405)  e índice
ER  -