Nonuniform complexity classes with sub-linear advice functions.
Tesis doctoral de Montserrat Hermo Huguet Se realiza un estudio exhaustivo de algunas clases de complejidad definidas a partir del […]
Tesis doctoral de Mario Rodríguez Artalejo
Información academica Mario Rodríguez Artalejo. Tesis donde Mario Rodríguez Artalejo ha sido autor, director o parte del tribunal.
Seleccion automatica de implementaciones para componentes de software usando un lenguaje multiparadigma para establecer sus aspectos no funcionales.
Tesis doctoral de Javier Franch Gutiérrez La tesis presenta una metodología que permite la formulacion de requisitos y propiedades no
Analisis semantico y transformacion de programas logico-funcionales
Tesis doctoral de German Vidal Oriola El problema de la integracion de la programacion logica y funcional esta considerado como
The calculus of refinements: a formal specification model based on inclusions
Tesis doctoral de Jordi Levy Diaz Datos académicos de la tesis doctoral «The calculus of refinements: a formal specification
Implementacion paralela de prolog sobre una arquitectura distribuida
Tesis doctoral de Lourdes Araujo Serna En este trabajo se ha desarrollado un modelo de ejecucion paralelo de los programa
Csp probabilistico: un modelo probabilistico de procesos concurrentes.
Tesis doctoral de Fernando Cuartero Gomez Datos académicos de la tesis doctoral «Csp probabilistico: un modelo probabilistico de procesos
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
Logica parcial trivalorada. aproximaciones de primer orden, de orden superior e intuicionista
Tesis doctoral de Francisca Lucio Carrasco Se extiende la logica de primer orden clasica, de forma conservadora, a una logica
Fundamentacion de un sistema para la resolucion automatica de problemas
Tesis doctoral de Francisco Saiz Lopez Se describe un sistema, progenes, que permite resolver automaticamente un alto porcentaje de problemas
Contributions to the study of resource-bounded measure
Tesis doctoral de Elvira Mayordomo Camara La tesis presenta extensiones y nuevas aplicaciones de la teoria de la medida con