Title: Term rewriting and applications
Subjects: Congresses, Rewriting systems (Computer science), Computer science, Computer programming, Algorithms