Documentos de Angel Cuenca-Ortega | REDI

Regresar

Mostrando 1 resultados de: 1

Filtros aplicados

Área temáticas: "Métodos informáticos especiales"

Subtipo de publicación

Conference Object(1)

Publisher

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(1)

Área temáticas

Funcionamiento de bibliotecas y archivos(1)

Programación informática, programas, datos, seguridad(1)

Área de conocimiento

Ingeniería de software(1)

Objetivos de Desarrollo Sostenible

ODS 17: Alianzas para lograr los objetivos(1)

ODS 4: Educación de calidad(1)

ODS 9: Industria, innovación e infraestructura(1)

Año de Publicación

Origen

$${\textsf {ACUOS}}^\mathbf {2}$$ : A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance

Conference Object

Abstract: Generalization in order-sorted theories with any combination of associativity (A), commutativity (C)

Palabras claves:

Alpuente M., Angel Cuenca-Ortega, Ballis D., Escobar S., Meseguer J.