Mostrando 2 resultados de: 2
Filtros aplicados
Subtipo de publicación
Conference Object(2)
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(1)
Theory and Practice of Logic Programming(1)
$${\textsf {ACUOS}}^\mathbf {2}$$ : A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance
Conference ObjectAbstract: 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:googlescopusInspecting Maude variants with GLINTS
Conference ObjectAbstract: This paper introduces GLINTS, a graphical tool for exploring variant narrowing computations in MaudePalabras claves:embedding, Finite Variant Property, Maude, Narrowing, Rewriting Logic, VariantAutores:Alpuente M., Angel Cuenca-Ortega, Escobar S., Sapiña J.Fuentes:googlescopus