Rewriting techniques and applications : 11th international conference, RTA 2000 Norwich, UK, July 10-12, 2000 : proceedings / edited by Leo Bachmair.
- Berlin [etc.] : Springer , cop. 2000 .
- X, 273 p. ; 25 cm.
- (Lecture Notes in Computer Science)
; 1833
ISBN 3-540-67778-X
Sistemas de reescrita (Informática)
Programação de computadores
Algoritmos
LCC QA75.5
ISBN 3-540-67778-X
Sistemas de reescrita (Informática)
Programação de computadores
Algoritmos
LCC QA75.5