Difference between revisions of "Some Papers on Maude and on Rewriting Logic"

From The Maude System
Jump to: navigation, search
(Created page with "== Roadmap and Bibliography == * Rewriting Logic: Roadmap and Bibliography by Narciso Martí-Oliet and José Meseguer. * bibTeX file...")
 
Line 2: Line 2:
  
 
* [[Media:roadmap.ps|Rewriting Logic: Roadmap and Bibliography]] by Narciso Martí-Oliet and José Meseguer.
 
* [[Media:roadmap.ps|Rewriting Logic: Roadmap and Bibliography]] by Narciso Martí-Oliet and José Meseguer.
* [[Media:Rwlcr.bib|bibTeX file]] about Rewriting Logic that contains crossreferences to proceedings volumes.
+
* [[Media:Rwlcr.bib|bibTeX file]] about Rewriting Logic that contains cross references to proceedings volumes.
* [[Media:Rwl.bib|bibTeX file]] about Rewriting Logic without crossreferences.
+
* [[Media:Rwl.bib|bibTeX file]] about Rewriting Logic without cross references.
 +
 
 
== Some Relevant Papers on Maude and Rewriting Logic ==
 
== Some Relevant Papers on Maude and Rewriting Logic ==
  
Line 19: Line 20:
  
 
* Roberto Bruni, José Meseguer: [https://doi.org/10.1016/j.tcs.2006.04.012 Semantic foundations for generalized rewrite theories]. Theor. Comput. Sci. 360(1-3): 386-414 (2006)
 
* Roberto Bruni, José Meseguer: [https://doi.org/10.1016/j.tcs.2006.04.012 Semantic foundations for generalized rewrite theories]. Theor. Comput. Sci. 360(1-3): 386-414 (2006)
 +
 +
== [http://maude.cs.illinois.edu/papers/ Some Additional Papers on Maude and on Rewriting Logic] ==

Revision as of 08:15, 21 December 2020

Roadmap and Bibliography

Some Relevant Papers on Maude and Rewriting Logic

  • José Meseguer, Miguel Palomino, Narciso Martí-Oliet: Algebraic simulations. J. Log. Algebraic Methods Program. 79(2): 103-143 (2010)
  • José Meseguer, Miguel Palomino, Narciso Martí-Oliet: Equational abstractions. Theor. Comput. Sci. 403(2-3): 239-264 (2008)

Some Additional Papers on Maude and on Rewriting Logic