Mostrando 2 resultados de: 2
Filtros aplicados
Área temáticas
Ciencias de la computación(1)
Funcionamiento de bibliotecas y archivos(1)
Matemáticas(1)
Principios generales de matemáticas(1)
Objetivos de Desarrollo Sostenible
ODS 17: Alianzas para lograr los objetivos(2)
ODS 4: Educación de calidad(2)
ODS 9: Industria, innovación e infraestructura(2)
Inspecting 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:googlescopusOrder-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms
ArticleAbstract: The Homeomorphic Embedding relation has been amply used for defining termination criteria of symboliPalabras claves:homeomorphic embedding, Maude, Rewriting LogicAutores:Alpuente M., Angel Cuenca-Ortega, Escobar S., Meseguer J.Fuentes:googlescopus