Vista normal Vista MARC Vista ISBD

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"

ISBN: 0521391156 (empastado, cubierta dura)

Subjects--Topical Terms:
Sistemas de reescritura (Computación)

LC Class. No.: QA267 / T436

Dewey Class. No.: 005.13/1