Publicaciones en las que colabora con José Merseguer (5)

2023

  1. The Maude strategy language

    Journal of Logical and Algebraic Methods in Programming, Vol. 134

2009

  1. A Rewriting Semantics for Maude Strategies

    Electronic Notes in Theoretical Computer Science, Vol. 238, Núm. 3, pp. 227-247

2008

  1. A Rewriting semantics for Maude strategies

    Electronic Notes in Theoretical Computer Science

2007

  1. Deduction, Strategies, and Rewriting

    Electronic Notes in Theoretical Computer Science, Vol. 174, Núm. 11 SPEC. ISS., pp. 3-25

2005

  1. Towards a strategy language for Maude

    Electronic Notes in Theoretical Computer Science