Publications in collaboration with researchers from SRI International (2)

2023

  1. The Maude strategy language

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

2007

  1. Deduction, Strategies, and Rewriting

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