Some Papers on Maude and on Rewriting Logic

From The Maude System
Revision as of 08:17, 21 December 2020 by Malaga (Talk | contribs)

Jump to: navigation, search

Roadmap and Bibliography

Some Relevant Papers on Maude and Rewriting Logic

  • J. Meseguer, M. Palomino, N. Martí-Oliet: Algebraic simulations. J. Log. Algebraic Methods Program. 79(2): 103-143 (2010)

Some Additional Papers on Maude and on Rewriting Logic