RUBÉN RAFAEL
RUBIO CUÉLLAR
Profesor ayudante
José
Merseguer
Publications dans lesquelles il/elle collabore avec José Merseguer (3)
2023
-
The Maude strategy language
Journal of Logical and Algebraic Methods in Programming, Vol. 134
2022
-
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
-
Programming and symbolic computation in Maude
Journal of Logical and Algebraic Methods in Programming, Vol. 110