Sabdood: un sistema administrador de bases de datos orientadas a objetos y deductivas.
Tesis doctoral de Felip López Gamino El trabajo tuvo como objetivo principal el desarrollar un sistema administrador de bases de […]
Tesis doctoral de Isidro Ramos Salavert
Información academica Isidro Ramos Salavert. Tesis donde Isidro Ramos Salavert ha sido autor, director o parte del tribunal.
Un sistema de ejecucion distribuido para lenguajes orientados a objetos concurrentes.
Tesis doctoral de Antonio Jesús Nebro Urbaneja Esta tesis se enmarca en el ámbito de los lenguajes orientados a objetos
Una metodología para el desarrollo de sistemas de base de datos objeto-relacional.
Tesis doctoral de Iturrioz Sanchez Juan Ignacio Los sistemas de bases de datos (sbd) han sido tradicionalmente vistos como servidores
Oasis: un lenguaje unico para bases de datos orientadas a objetos.
Tesis doctoral de Jesús Hilario Canós Cerdá En esta tesis se aborda la utilizacion de un unico lenguaje para la
Resolucion sl*: un paradigma basado en resolucion lineal para la demostracion automatica.
Tesis doctoral de Casamayor Rodenas Juan Carlos El trabajo incluido en la presente tesis se enmarca dentro del campo de
Una solucion al problema del interbloqueo en sistemas distribuidos con modelo and de peticion de recursos.
Tesis doctoral de Federico Fariña Figueredo Uno de los problemas que frena el desarrollo de los sistemas distribuidos es la
Tecnicas de particionamiento multidimensional basadas en la utilizacion de indices multi-atributo en bases de datos paralelas.
Tesis doctoral de Manuel Barrena Garcia Los requerimientos cada dia mas exigentes de modernas aplicaciones de bases de datos, tales
Una extension del lamda-calculo para la modelizacion de procesos concurrentes.
Tesis doctoral de Oliver Villarroya Francisco Javier El -calculo es una teoria sin tipos que interpreta las funciones como reglas,
Aportaciones a la resolucion de la elipsis en lenguaje natural utilizando tecnicas incrementales.
Tesis doctoral de Manuel Palomar Sanz Esta tesis trata la resolucion de la elipsis en estructuras coordinadas como un problema
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