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. […]
Información academica Francisco Javier Lopez Fraguas. Tesis donde Francisco Javier Lopez Fraguas ha sido autor, director o parte del tribunal.
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 Antonio José Fernández Leiva Esta tesis propone un esquema genérico y cooperativo para la programación lógica con
Tesis doctoral de Ignacio Castiñeiras Perez Datos académicos de la tesis doctoral «Mejora de la eficiencia de resolución del
Tesis doctoral de Yolanda Garcia Ruiz El objetivo de esta tesis es el diseño y desarrollo de técnicas para la
Tesis doctoral de Carlos Alberto Romero Diaz «la incorporación del razonamiento con incertidumbre a la programación declarativa y, en especial,
Tesis doctoral de Javier Alvez Gimenez In this dissertation, we propose an efficient treatment of constructive negation in constraint normal
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
Tesis doctoral de José Miguel Rivero Almeida Datos académicos de la tesis doctoral «Data structures and algorithms for automated
Tesis doctoral de Francisco Javier Lopez Fraguas En este trabajo presentamos e investigamos el esquema teorico cflp(x) para la programacion