Title: Rewriting techniques and applications
Subjects: Algorithms, Computer programming, Congresses, Rewriting systems (Computer science), Computer algorithms