RUBÉN RAFAEL
RUBIO CUÉLLAR
Profesor ayudante
Universidad de Málaga
Málaga, EspañaPublicaciones en colaboración con investigadores/as de Universidad de Málaga (1)
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)