Mostrar el registro completo del ítem
Viciano Negre, P. (2012). Extensiones a la comprobación de satisfacibilidad de restricciones. http://hdl.handle.net/10251/17982
Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/17982
Título: | Extensiones a la comprobación de satisfacibilidad de restricciones | |||
Autor: | Viciano Negre, Pablo | |||
Director(es): | ||||
Entidad UPV: |
|
|||
Fecha acto/lectura: |
|
|||
Resumen: |
[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 ...[+]
|
|||
Palabras clave: |
|
|||
Derechos de uso: | Reconocimiento - No comercial - Sin obra derivada (by-nc-nd) | |||
Editorial: |
|
|||
Titulación: |
|
|||
Tipo: |
|