Strategies and análisis techniques for functional program optimization
Tesis doctoral de Santiago Escobar Román Los sistemas informáticos desempeñan un papel importante en la moderna sociedad de la información. […]
Tesis doctoral de Francisco Javier Lopez Fraguas
Información academica Francisco Javier Lopez Fraguas. Tesis donde Francisco Javier Lopez Fraguas ha sido autor, director o parte del tribunal.
Un enfoque genérico y cooperativo para la resolución de restricciones de intervalo
Tesis doctoral de Antonio José Fernández Leiva Esta tesis propone un esquema genérico y cooperativo para la programación lógica con
Mejora de la eficiencia de resolución del sistema toy(fd), y su aplicación a problemas reales de la industria
Tesis doctoral de Ignacio Castiñeiras Perez Datos académicos de la tesis doctoral «Mejora de la eficiencia de resolución del
Técnicas de detección y diagnosis de errores en consultas de bases de datos
Tesis doctoral de Yolanda Garcia Ruiz El objetivo de esta tesis es el diseño y desarrollo de técnicas para la
Programación declarativa cualificada con restricciones
Tesis doctoral de Carlos Alberto Romero Diaz «la incorporación del razonamiento con incertidumbre a la programación declarativa y, en especial,
A transformational approach to constructive negation in constraint normal logic programming
Tesis doctoral de Javier Alvez Gimenez In this dissertation, we propose an efficient treatment of constructive negation in constraint normal
Una aproximación al fallo en programación declarativa multiparadigma
Tesis doctoral de Jaime Sánchez Hernández La negación en programación lógica es un tema ampliamente investigado desde los inicios de
Data structures and algorithms for automated deduction with equality
Tesis doctoral de José Miguel Rivero Almeida Datos académicos de la tesis doctoral «Data structures and algorithms for automated
Programacion funcional y logica con restricciones
Tesis doctoral de Francisco Javier Lopez Fraguas En este trabajo presentamos e investigamos el esquema teorico cflp(x) para la programacion
