Difference between revisions of "Roadmap and Bibliography"
From The Maude System
(Created the Roadmap and Bibliography page) |
(No difference)
|
Latest revision as of 02:30, 22 July 2014
- 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.