Publications en collaboration avec des chercheurs de University of Illinois at Urbana Champaign (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