https://maude.cs.illinois.edu/w/index.php?title=Roadmap_and_Bibliography&feed=atom&action=history
Roadmap and Bibliography - Revision history
2024-03-29T06:59:59Z
Revision history for this page on the wiki
MediaWiki 1.23.1
https://maude.cs.illinois.edu/w/index.php?title=Roadmap_and_Bibliography&diff=30&oldid=prev
Kquine: Created the Roadmap and Bibliography page
2014-07-22T02:30:03Z
<p>Created the Roadmap and Bibliography page</p>
<p><b>New page</b></p><div><br />
* [[Media:roadmap.ps|Rewriting Logic: Roadmap and Bibliography]] by Narciso MartÃ-Oliet and José Meseguer.<br />
* [[Media:Rwlcr.bib|bibTeX file]] about Rewriting Logic that contains crossreferences to proceedings volumes.<br />
* [[Media:Rwl.bib|bibTeX file]] about Rewriting Logic without crossreferences.</div>
Kquine