A. Cuenca-Ortega

Available identifiers

zbMath Open cuenca-ortega.angelMaRDI QIDQ2291822

List of research outcomes

Publication	Date of Publication	Type
Homeomorphic embedding modulo combinations of associativity and commutativity axioms	2023-11-09	Paper
Order-sorted homeomorphic embedding modulo combinations of associativity and/or commutativity axioms	2021-05-20	Paper
\({\mathsf{ACUOS}}^\mathbf{2}\): a high-performance system for modular ACU generalization with subtyping and inheritance	2020-02-18	Paper
A partial evaluation framework for order-sorted equational programs modulo axioms	2020-01-31	Paper
Partial evaluation of order-sorted equational programs modulo axioms	2017-10-13	Paper

Research outcomes over time

This page was built for person: A. Cuenca-Ortega