Maude Manual and Examples
From The Maude System
Revision as of 21:52, 20 December 2020 by Malaga
Manual - Latest Version
Roadmap and Bibliography
- Rewriting Logic: Roadmap and Bibliography by Narciso Martí-Oliet and José Meseguer.
- bibTeX file about Rewriting Logic that contains crossreferences to proceedings volumes.
- bibTeX file about Rewriting Logic without crossreferences.
Some Relevant Papers on Maude and Rewriting Logic
José Meseguer: Twenty years of rewriting logic. J. Log. Algebraic Methods Program. 81(7-8): 721-781 (2012)