Title: Rewriting techniques and applications
First published: 2003
Subjects: Congresses, Computer programming, Rewriting systems (Computer science), Algorithms
LC classification: QA267 .I555 2003, QA267 .I555 2003