Cover of Rewriting, Computation and Proof

Mark as

Rewriting, Computation and Proof

by Hubert Comon-Lundh

Buy this book
Add to a list
Review

More by Hubert Comon-Lundh

Formal to Practical Security

by Hideki Sakurada

Cover of Formal to Practical Security
Review
Buy this book More books like Formal to Practical Security

Unification

by Claude Kirchner

Cover of Unification
Review
Buy this book More books like Unification

Recent activity

Rate this book to see your activity here.

Comments and reviews

Please sign in to leave a comment