Difference between revisions of "Some Papers on Maude and on Rewriting Logic"
From The Maude System
(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 | + | * [[Media:Rwlcr.bib|bibTeX file]] about Rewriting Logic that contains cross references to proceedings volumes. |
− | * [[Media:Rwl.bib|bibTeX file]] about Rewriting Logic without | + | * [[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
- Rewriting Logic: Roadmap and Bibliography by Narciso Martí-Oliet and José Meseguer.
- bibTeX file about Rewriting Logic that contains cross references to proceedings volumes.
- bibTeX file about Rewriting Logic without cross references.
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)
- Francisco Durán, José Meseguer: On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories. J. Log. Algebraic Methods Program. 81(7-8): 816-850 (2012)
- Musab AlTurki, José Meseguer: PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool. CALCO 2011: 386-392
- 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)
- Manuel Clavel, José Meseguer, Miguel Palomino: Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic. Theor. Comput. Sci. 373(1-2): 70-91 (2007)
- Roberto Bruni, José Meseguer: Semantic foundations for generalized rewrite theories. Theor. Comput. Sci. 360(1-3): 386-414 (2006)