Mostrando 2 resultados de: 2
Filtros aplicados
Order-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: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