Publikationen in Zusammenarbeit mit Forschern von 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