- -

Order-sorted Homeomorphic Embedding modulo Combinations of Associativity and/or Commutativity Axioms

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

Order-sorted Homeomorphic Embedding modulo Combinations of Associativity and/or Commutativity Axioms

Mostrar el registro completo del ítem

Alpuente Frasnedo, M.; Cuenca-Ortega, A.; Escobar Román, S.; Meseguer, J. (2020). Order-sorted Homeomorphic Embedding modulo Combinations of Associativity and/or Commutativity Axioms. Fundamenta Informaticae. 177(3-4):297-329. https://doi.org/10.3233/FI-2020-1991

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/161203

Ficheros en el ítem

Thumbnail
Nombre: Alpuente;Cuenca-O ...
Tamaño: 443.2Kb
Formato: PDF
Descripción: Versión del Autor.
Abrir/Preview
[Cerrado]
Nombre: fi-177(3-4)05ACEM ...
Tamaño: 323.5Kb
Formato: PDF
Descripción: Versión editorial
Solicitar una copia al autor

Metadatos del ítem

Título: Order-sorted Homeomorphic Embedding modulo Combinations of Associativity and/or Commutativity Axioms
Autor: Alpuente Frasnedo, María Cuenca-Ortega, Angel Escobar Román, Santiago Meseguer, José
Entidad UPV: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Fecha difusión:
Resumen:
[EN] The Homeomorphic Embedding relation has been amply used for defining termination criteria of symbolic methods for program analysis, transformation, and verification. However, homeomorphic embedding has never been ...[+]
Palabras clave: Homeomorphic embedding , Rewriting logic , Maude
Derechos de uso: Reserva de todos los derechos
Fuente:
Fundamenta Informaticae. (issn: 0169-2968 )
DOI: 10.3233/FI-2020-1991
Editorial:
IOS Press
Versión del editor: https://doi.org/10.3233/FI-2020-1991
Código del Proyecto:
info:eu-repo/grantAgreement/NRL//N00173-17-1-G002/
info:eu-repo/grantAgreement/EC/H2020/952215/EU/Foundations of Trustworthy AI - Integrating Reasoning, Learning and Optimization/
info:eu-repo/grantAgreement/GVA//PROMETEO%2F2019%2F098/ES/DeepTrust: Deep Logic Technology for Software Trustworthiness/
info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/RTI2018-094403-B-C32/ES/RAZONAMIENTO FORMAL PARA TECNOLOGIAS FACILITADORAS Y EMERGENTES/
Agradecimientos:
M. Alpuente and S. Escobar have been partially supported by the EU (FEDER) and the Spanish MCIU under grant RTI2018-094403-B-C32, by the Spanish Generalitat Valenciana under grant PROMETEO/2019/098, and by the European ...[+]
Tipo: Artículo

recommendations

 

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro completo del ítem