Add to ORKG[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.Viciano Negre, P. (2012). Extensiones a la comprobación de satisfacibilidad de restricciones. http://hdl.handle.net/10251/17982Archivo delegad
El proceso de comprobación de restricciones tiene como objetivo asegurar que el estado del sistema d...
Este artículo se centra en el estudio de dos restricciones temporales, denominadas constante y perma...
La tesis tiene como objetivo general: establecer la relación entre la eficacia del programa CONTIGO...
Desde los primeros trabajos de Padberg, Grötschel y otros, los procedimientos de identificación de r...
En el presente trabajo se propone una discusión acerca del análisis de expresiones regulares (ER), d...
La comprobación de la integridad es un problema clásico en bases de datos; los primeros métodos fuer...
Recientemente, esta revista ha publicado una excelente monografía, [65], dedicada a los problemas de...
La comprobación de la integridad es un problema clásico en bases de datos; los primeros métodos fuer...
Introducción: la Universidad de Ciencias Médicas de Pinar del Río tiene como uno de sus eslabones fu...
El presente proyecto tiene como objetivo atender la necesidad expresada por diversos colectivos orga...
En esta Tesis se estudia un sistema de programación y control en un proceso de fabricación de aceros...
Resumen: Este trabajo tiene como objetivo analizar las percepciones de extensionistas públicos salva...
Una vez ideados los métodos basados en la intensidad de la dominación el siguiente paso es el de imp...
En la comprobación de los Estados Límite en una estructura hiperestática de hormigón pretensado, es ...
En los modelos clásicos de recuperación de información los documentos se representan mediante un con...
El proceso de comprobación de restricciones tiene como objetivo asegurar que el estado del sistema d...
Este artículo se centra en el estudio de dos restricciones temporales, denominadas constante y perma...
La tesis tiene como objetivo general: establecer la relación entre la eficacia del programa CONTIGO...
Desde los primeros trabajos de Padberg, Grötschel y otros, los procedimientos de identificación de r...
En el presente trabajo se propone una discusión acerca del análisis de expresiones regulares (ER), d...
La comprobación de la integridad es un problema clásico en bases de datos; los primeros métodos fuer...
Recientemente, esta revista ha publicado una excelente monografía, [65], dedicada a los problemas de...
La comprobación de la integridad es un problema clásico en bases de datos; los primeros métodos fuer...
Introducción: la Universidad de Ciencias Médicas de Pinar del Río tiene como uno de sus eslabones fu...
El presente proyecto tiene como objetivo atender la necesidad expresada por diversos colectivos orga...
En esta Tesis se estudia un sistema de programación y control en un proceso de fabricación de aceros...
Resumen: Este trabajo tiene como objetivo analizar las percepciones de extensionistas públicos salva...
Una vez ideados los métodos basados en la intensidad de la dominación el siguiente paso es el de imp...
En la comprobación de los Estados Límite en una estructura hiperestática de hormigón pretensado, es ...
En los modelos clásicos de recuperación de información los documentos se representan mediante un con...
El proceso de comprobación de restricciones tiene como objetivo asegurar que el estado del sistema d...
Este artículo se centra en el estudio de dos restricciones temporales, denominadas constante y perma...
La tesis tiene como objetivo general: establecer la relación entre la eficacia del programa CONTIGO...