Manuel Clavel

No bio available. Add one in Open Library.

Books by Manuel Clavel (50 max)

+ shelf+ list

Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications

2000

Manuel Clavel

+ shelf+ list

All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science)

2007

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott