Mostrar el registro sencillo del ítem
dc.contributor.advisor | Escobar Román, Santiago | es_ES |
dc.contributor.author | Viciano Negre, Pablo | es_ES |
dc.date.accessioned | 2012-11-29T09:57:05Z | |
dc.date.available | 2012-11-29T09:57:05Z | |
dc.date.created | 2012-09-25 | |
dc.date.issued | 2012-11-29 | |
dc.identifier.uri | http://hdl.handle.net/10251/17982 | |
dc.description.abstract | [ES] En esta tesina de máster se estudia la satisfacibilidad de fórmulas en la aritmética Presburger para el lenguaje de programación de alto rendimiento Maude y cómo se pueden extender estos algoritmos a modelos que extiendan la aritmética Presburger con propiedades ecuacionales tales como asociatividad, conmutatividad e identidad, así como el caso más complejo (con un algoritmo de semi-decisión en vez de un algoritmo de decisión) para teorías ecuacionales con propiedades ecuacionales orientadas como reglas. | es_ES |
dc.format.extent | 125 | es_ES |
dc.language | Español | es_ES |
dc.publisher | Universitat Politècnica de València | es_ES |
dc.rights | Reconocimiento - No comercial - Sin obra derivada (by-nc-nd) | es_ES |
dc.subject | Satisfacibilidad de fórmulas | es_ES |
dc.subject | Unificación ecuacional | es_ES |
dc.subject | Estrechamiento ecuacional | es_ES |
dc.subject | Satisfiability of formulas | es_ES |
dc.subject | Equational unification | es_ES |
dc.subject | Equational narrowing | es_ES |
dc.subject.classification | LENGUAJES Y SISTEMAS INFORMATICOS | es_ES |
dc.subject.other | Máster Universitario en Ingeniería del Software, Métodos Formales y Sistemas de Información-Màster Universitari en Enginyeria del Programari, Mètodes Formals i Sistemes D'Informació | es_ES |
dc.title | Extensiones a la comprobación de satisfacibilidad de restricciones | es_ES |
dc.type | Tesis de máster | es_ES |
dc.rights.accessRights | Abierto | es_ES |
dc.contributor.affiliation | Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat | es_ES |
dc.description.bibliographicCitation | Viciano Negre, P. (2012). Extensiones a la comprobación de satisfacibilidad de restricciones. http://hdl.handle.net/10251/17982 | es_ES |
dc.description.accrualMethod | Archivo delegado | es_ES |