open navigation menu
Autores
Documentos
Organizaciones
Eventos
Proyectos
Patentes
Servicios
Inicio
Acerca de
Explorar
Análisis
Reportes
Regresar
Inicio
/
Explore
/
Authors
Mostrando
1
resultados de:
1
Filtros
Filtros aplicados
Año de Publicación: "2019"
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)
Métodos informáticos especiales
(1)
Programación informática, programas, datos, seguridad
(1)
Área de conocimiento
Ingeniería de software
(1)
Software
(1)
Origen
google
(1)
scopus
(1)
$${\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:
Autores:
Alpuente M., Angel Cuenca-Ortega, Ballis D., Escobar S., Meseguer J.
Fuentes:
google
scopus
1
1
