Home›Books›Rewriting, Computation and ProofRewriting, Computation and Proofby Hubert ComonNo description available.Logic designComputer scienceSoftware engineeringRewriting systems (Computer science)CongressesComputational complexity