Normal view MARC view ISBD view

Term rewriting and all that

Baader, Franz

Term rewriting and all that by Franz Baader and Tobias Nipkow - Cambridge Cambridge University Press c1998 - xii,301p.: fig.; 22cm.

ISBN: 0521455200

Subjects--Topical Terms:
Rewriting systems(computer science)
Term rewriting--(computer science)

Dewey Class. No.: 401.51 / BAA

Place hold
Print
Add to your cart (remove)
Send to device
Save record
BIBTEX Dublin Core ISBD MARC (non-Unicode/MARC-8) MARCXML MODS (XML) RIS MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard)