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ítulo
Citado por
Citado por
Añ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
16*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
142016
: 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
72019
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
52017
Order-sorted Homeomorphic Embedding modulo Combinations of Associativity and/or Commutativity Axioms⋆
M Alpuente, A Cuenca-Ortega, S Escobar, J Meseguer
Fundamenta Informaticae, 2019
22019
Partial Evaluation of Rewriting Logic Theories
ÁE Cuenca Ortega
2019
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–10