Manuel Clavel

Manuel Clavel’s Followers

None yet.

Manuel Clavel

Combine Editions
Manuel Clavel’s books

Average rating: 4.0 · 1 rating · 0 reviews · 4 distinct works

	Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications really liked it 4.00 avg rating — 1 rating — published 2000 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic by Manuel Clavel, Francisco Durán, Steven Eker 0.00 avg rating — 0 ratings — published 2007 — 6 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications 0.00 avg rating — 0 ratings — published 2000	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	All about Maude a Highperformance Logical Framework by Carolyn Talcott, Manuel Clavel 0.00 avg rating — 0 ratings — published 2007	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

* Note: these are all the books on Goodreads for this author. To add more, click here.

Is this you? Let us know. If not, help out and invite Manuel to Goodreads.