Center for the Study of Language and Inf · Springer
| title | media type | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic | Taschenbuch | 978-3-540-71940-3 (3-540-71940-7) | 2007 | Francisco Durán · Steven Eker · Patrick Lincoln · Narciso Martí-Oliet · José Meseguer · Carolyn Talcott | |
| Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications | Hardcover | 978-1-57586-237-8 (1-57586-237-9) | 2001 | ||
| Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications | Paperback | 978-1-57586-238-5 (1-57586-238-7) | 2000 | ||