Title: Rewriting, Computation and Proof
Subjects: Logic design, Computer science, Software engineering, Rewriting systems (Computer science), Congresses, Computational complexity