M Alpuente, D Ballis, A Cuenca-Ortega, S Escobar, J Meseguer
European Conference on Logics in Artificial Intelligence, 171-181, 2019
19 2019 Partial evaluation of order-sorted equational programs modulo axioms M Alpuente, A Cuenca-Ortega, S Escobar, J Meseguer
International Symposium on Logic-Based Program Synthesis and Transformation …, 2016
18 2016 A partial evaluation framework for order-sorted equational programs modulo axioms M Alpuente, A Cuenca-Ortega, S Escobar, J Meseguer
Journal of Logical and Algebraic Methods in Programming, 100501, 2019
16 2019 Order-sorted Homeomorphic Embedding modulo Combinations of Associativity and/or Commutativity Axioms⋆ M Alpuente, A Cuenca-Ortega, S Escobar, J Meseguer
Fundamenta Informaticae, 2019
8 2019 Inspecting Maude variants with GLINTS * M Alpuente, S Escobar, J Sapiña, A Cuenca-Ortega
Theory and Practice of Logic Programming 17 (5-6), 689-707, 2017
8 2017 Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms M Alpuente, A Cuenca-Ortega, S Escobar, J Meseguer
International Symposium on Logic-Based Program Synthesis and Transformation …, 2018
7 2018 Educational Software Development in Ecuadorian Universities: A Systematic Mapping Study J Guerra-Gaibor, A Cuenca-Ortega, M Tapia-León
International Conference on Technology Trends, 353-368, 2018
1 2018 Partial Evaluation of Rewriting Logic Theories ÁE Cuenca Ortega
2019 Técnicas de refactorización para Maude A Cuenca-Ortega
Trabajo de fin de máster, 2013
2013 Reingeniería de los sistemas informáticos de la Empresa Municipal de Cuenca EMTET DM Bermeo Moyano, YF Corella Verdugo, AE Cuenca Ortega, ...
Trabajo de fin de grado, 2007
2007 