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

From The Maude System
Jump to: navigation, search
(Some Additional Papers on Maude and on Rewriting Logic)
Line 7: Line 7:
 
== Some Relevant Papers on Maude and Rewriting Logic ==
 
== Some Relevant Papers on Maude and Rewriting Logic ==
  
* José Meseguer: [https://doi.org/10.1016/j.jlap.2012.06.003 Twenty years of rewriting logic]. J. Log. Algebraic Methods Program. 81(7-8): 721-781 (2012)
+
* J. Meseguer: [https://doi.org/10.1016/j.jlap.2012.06.003 Twenty years of rewriting logic]. J. Log. Algebraic Methods Program. 81(7-8): 721-781 (2012)
  
* Francisco Durán, José Meseguer: [https://doi.org/10.1016/j.jlap.2011.12.004 On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories]. J. Log. Algebraic Methods Program. 81(7-8): 816-850 (2012)
+
* F. Durán, J. Meseguer: [https://doi.org/10.1016/j.jlap.2011.12.004 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: [https://doi.org/10.1007/978-3-642-22944-2_28 PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool]. CALCO 2011: 386-392
+
* M. AlTurki, J. Meseguer: [https://doi.org/10.1007/978-3-642-22944-2_28 PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool]. CALCO 2011: 386-392
  
* José Meseguer, Miguel Palomino, Narciso Martí-Oliet: [https://doi.org/10.1016/j.jlap.2009.07.003 Algebraic simulations]. J. Log. Algebraic Methods Program. 79(2): 103-143 (2010)
+
* J. Meseguer, M. Palomino, N. Martí-Oliet: [https://doi.org/10.1016/j.jlap.2009.07.003 Algebraic simulations]. J. Log. Algebraic Methods Program. 79(2): 103-143 (2010)
  
* José Meseguer, Miguel Palomino, Narciso Martí-Oliet: [https://doi.org/10.1016/j.tcs.2008.04.040 Equational abstractions]. Theor. Comput. Sci. 403(2-3): 239-264 (2008)
+
* J. Meseguer, M. Palomino, N. Martí-Oliet: [https://doi.org/10.1016/j.tcs.2008.04.040 Equational abstractions]. Theor. Comput. Sci. 403(2-3): 239-264 (2008)
  
 
* Manuel Clavel, José Meseguer, Miguel Palomino: [https://doi.org/10.1016/j.tcs.2006.12.009 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)
 
* Manuel Clavel, José Meseguer, Miguel Palomino: [https://doi.org/10.1016/j.tcs.2006.12.009 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)

Revision as of 08:17, 21 December 2020

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