Reading Length
Home
Speed Tests
Login
Manuel Clavel
Identifiers
Open Library
OL3082648A
Top Subjects
Human information processing (2)
Logic Design (1)
Mathematical theory of computation (1)
Computers (1)
General (1)
Computer Books: General (1)
Programming - General (1)
Books by Manuel Clavel
Total count: 2
Reflection in Rewriting Logic
Metalogical Foundations and Metaprogramming Applications
Center for the Study of Language and Inf
2000-06-01
All about Maude - a High-Performance Logical Framework
How to Specify, Program, and Verify Systems in Rewriting Logic
Springer London, Limited
2007-01-01
