SRI International-ko ikertzaileekin lankidetzan egindako argitalpenak (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