Mostrando 3 resultados de: 3
Filtros aplicados
Publisher
Communications in Computer and Information Science(1)
Fundamenta Informaticae(1)
Journal of Logical and Algebraic Methods in Programming(1)
Área temáticas
Escuelas y sus actividades; educación especial(1)
Funcionamiento de bibliotecas y archivos(1)
Matemáticas(1)
Principios generales de matemáticas(1)
A partial evaluation framework for order-sorted equational programs modulo axioms
ArticleAbstract: Partial evaluation is a powerful and general program optimization technique with many successful appPalabras claves:Autores:Alpuente M., Angel Cuenca-Ortega, Escobar S., Meseguer J.Fuentes:googlescopusEducational software development in ecuadorian universities: A systematic mapping study
Conference ObjectAbstract: Context: Ecuadorian universities to guarantee a quality higher education, contribute to the country’Palabras claves:Educational applications, Educational software, Systematic mapping, Undergraduate thesesAutores:Angel Cuenca-Ortega, Guerra-Gaibor J., Mariela Tapia-LeonFuentes: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