Angel Cuenca-Ortega
Angel Cuenca-Ortega
Universidad de Guayaquil, Universitat Politècnica de València
Dirección de correo verificada de ug.edu.ec
TítuloCitado porAño
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
122019
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
12*2016
: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance
M Alpuente, D Ballis, A Cuenca-Ortega, S Escobar, J Meseguer
European Conference on Logics in Artificial Intelligence, 171-181, 2019
52019
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
52018
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
42017
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
2018
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–8