Angel Cuenca-Ortega

Orcid: 0000-0001-7798-611X

Affiliations:

Universidad de Guayaquil, Ecuador
Polytechnic University of Valencia, Spain

According to our database¹, Angel Cuenca-Ortega authored at least 6 papers between 2016 and 2020.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2020

A partial evaluation framework for order-sorted equational programs modulo axioms.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2020

Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2020

2019

ACUOS<sup>2</sup>: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

2018

Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2018

2017

Inspecting Maude variants with GLINTS.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2017

2016

Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2016

Angel Cuenca-Ortega

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...