Follow
Angel Cuenca-Ortega
Angel Cuenca-Ortega
Universidad de Guayaquil, Universitat Politècnica de València
Verified email at ug.edu.ec
Title
Cited by
Cited by
Year
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
182016
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
162019
: 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
142019
Order-sorted Homeomorphic Embedding modulo Combinations of Associativity and/or Commutativity Axioms⋆
M Alpuente, A Cuenca-Ortega, S Escobar, J Meseguer
Fundamenta Informaticae, 2019
82019
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
82017
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
72018
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
12018
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
The system can't perform the operation now. Try again later.
Articles 1–10