Rewriting, Computation and Proof
Rewriting, Computation and Proof
Hubert Comon-Lundh
,
Hélène Kirchner
,
Claude Kirchner
Details
OL Work ID
OL27329200W
Find this book
Goodreads
Open Library