Publicaciones en colaboración con investigadores/as de University of Illinois at Urbana Champaign (3)

2023

  1. The Maude strategy language

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

2022

  1. Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description)

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2020

  1. Programming and symbolic computation in Maude

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