Mostrar el registro sencillo del ítem
dc.contributor.advisor | Villanueva García, Alicia | es_ES |
dc.contributor.author | Khamlichi, Ghada el | es_ES |
dc.date.accessioned | 2012-09-27T11:35:29Z | |
dc.date.available | 2012-09-27T11:35:29Z | |
dc.date.created | 2012-09-27 | |
dc.date.issued | 2012-09-27 | |
dc.identifier.uri | http://hdl.handle.net/10251/17271 | |
dc.description.abstract | El objetivo de este proyecto es crear un método que comprueba el índice de satisfacción automático de las propiedades de la lógica temporal lineal proposicional, mediante un algoritmo Tableau. Esto se implementara en el lenguaje Maude. El algoritmo se realizara en una pasada, y utilizara reglas Tableau que garantizan un tratamiento correcto de las eventualidades así como la completitud y la terminación del algoritmo de satisfacibilidad. | es_ES |
dc.format.extent | 63 | 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.other | Ingeniería Informática-Enginyeria Informàtica | es_ES |
dc.title | Implementación del algoritmo de Tableau para la lógica temporal | es_ES |
dc.type | Proyecto/Trabajo fin de carrera/grado | es_ES |
dc.rights.accessRights | Abierto | es_ES |
dc.contributor.affiliation | Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica | es_ES |
dc.description.bibliographicCitation | El Khamlichi, G. (2012). Implementación del algoritmo de Tableau para la lógica temporal. http://hdl.handle.net/10251/17271. | es_ES |
dc.description.accrualMethod | Archivo delegado | es_ES |