Kolmogorov randomnes and its applications to structural complexity theory
Tesis doctoral de Ricard GavaldÁ Mestre Datos académicos de la tesis doctoral «Kolmogorov randomnes and its applications to structural […]
Tesis doctoral sobre Teoría de la programacion
Accede a todas las tesis doctorales sobre Teoría de la programacion mas relevantes.
Computational complexity versus structural simplicity
Tesis doctoral de Antoni Lozano Bojados Datos académicos de la tesis doctoral «Computational complexity versus structural simplicity« Título de
Modelo de concurrencia de ada: implementacion e implicaciones
Tesis doctoral de Fernando Pérez Costoya El principal problema que impide actualmente una mayor utilizacion de las maquinas paralelas es
Un estudio sobre la aplicacion del razonamiento basado en casos a la construccion de programas.
Tesis doctoral de Ines Mendiz Noguero Se ha desarrollado un sistema que permite sintetizar programas por medio de la deteccion
Una interpretacion logico-algebraica de la semantica de la programacion
Tesis doctoral de Aurora Perez Perez Se utiliza la teoria de categorias y, en concreto, determinadas categorias preorden, para abordar
Derivacion deductiva de programas funcionales con patrones
Tesis doctoral de Jesús Angel Velazquez Iturbide Datos académicos de la tesis doctoral «Derivacion deductiva de programas funcionales con
En busca del tiempo perdido
Tesis doctoral de Yolanda Ortega Mallen Datos académicos de la tesis doctoral «En busca del tiempo perdido« Título de
Un lenguaje para el diseño y validacion de especificaciones algebraicas.
Tesis doctoral de Ines Clerici Silvia Datos académicos de la tesis doctoral «Un lenguaje para el diseño y validacion
Tratamiento n-categorial de la logica de la programacion.
Tesis doctoral de Jose Arteche Otegui Datos académicos de la tesis doctoral «Tratamiento n-categorial de la logica de la
Diseño, semantica e implementacion de babel: un lenguaje que integra la programacion funcional y logica
Tesis doctoral de Juan Jose Moreno Navarro Datos académicos de la tesis doctoral «Diseño, semantica e implementacion de babel: