Title: Rewriting techniques and applications
Subjects: Computer programming, Rewriting systems (Computer science), Algorithms, Congresses, Formal languages, Programming languages (electronic computers)