Clicky

Rewriting, Computation and Proof by Hubert Comon-Lundh and similar books you'll love - Bookscovery

Home > Authors > Hubert Comon-Lundh > Rewriting, Computation and Proof

Buy at: Bookshop.org Amazon

Rewriting, Computation and Proof

Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner

Recent activity

Rate this book to see your activity here.

2 Books Similar to Rewriting, Computation and Proof by Hubert Comon-Lundh

Bookscovery readers who liked Rewriting, Computation and Proof also like Formal to Practical Security, and Unification. How many of these have you read?

Formal to Practical Security by Véronique Cortier

Cover of Formal to Practical Security
Buy this book at:
Bookshop.org Amazon

Unification by Claude Kirchner

Cover of Unification
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Rewriting, Computation and Proof

Please sign in to leave a comment