Normal view
MARC view
Rewriting systems (Computer science)(Topical Term)
Machine generated authority record
Work cat.: (OSt)124392: Baader, Franz. 208, Term rewriting and all that /, 1999.