Term rewriting systems /
Terese ; [Marc Bezem, Jan Willem Klop, Roel de Vrijer, editors]
- xxii, 884 páginas : ilustraciones
- Cambridge tracts in theoretical computer science ; 25 .
"Terese"
0521391156 (empastado, cubierta dura)
Sistemas de reescritura (Computación)
QA267 / T436
005.13/1