Title: Rewriting Techniques and Applications
Subjects: Logic design, Data processing, Computer science, Artificial intelligence, Algebra, Rewriting systems (Computer science), Congresses, Computer programming, Algorithms