Title: Rewriting Techniques and Applications
Subjects: Logic design, Computational complexity, Symbolic and mathematical Logic, Computer science, Data processing, Algebra, Rewriting systems (Computer science), Congresses, Computer programming, Algorithms, Reduktionssystem, Kongress, Machine theory