Skip to content

Rewriting, Computation and Proof

by Hubert Comon

Cover of Rewriting, Computation and Proof

No description available.

Logic designComputer scienceSoftware engineeringRewriting systems (Computer science)CongressesComputational complexity