Statistics under the bst model
Tesis doctoral de Conrado Martínez Parra Datos académicos de la tesis doctoral «Statistics under the bst model« Título de […]
Tesis doctoral de José Luis Balcazar Navarro
Información academica José Luis Balcazar Navarro. Tesis donde José Luis Balcazar Navarro ha sido autor, director o parte del tribunal.
Cotas inferiores para problemas decisionales en teoria de complejidad algebraica
Tesis doctoral de Montaña Arnaiz José Luis La tesis versa sobre la obtencion de cotas inferiores en teoria de complejidad
Aplicacion del q-analisis, de la logica diamond y de la teoria de atractores sobre conjuntos finitos a la formalizacion de diccionarios de sinonimos
Tesis doctoral de Cases Gutierrez Blanca Rosa Datos académicos de la tesis doctoral «Aplicacion del q-analisis, de la logica
Una logica trivalorada para funciones recursivas parciales
Tesis doctoral de Antonio Gavilanes Franco Datos académicos de la tesis doctoral «Una logica trivalorada para funciones recursivas parciales«
Una logica no estandard admisible para programas funcionales
Tesis doctoral de Ana Gil Luezas Datos académicos de la tesis doctoral «Una logica no estandard admisible para programas
Especificacion algebraica de tipos abstractos de datos no deterministas.
Tesis doctoral de Federico Valenciano Llovera Datos académicos de la tesis doctoral «Especificacion algebraica de tipos abstractos de datos
Tecnicas de reescritura para especificaciones condicionales.
Tesis doctoral de María Luisa Navarro Gómez Datos académicos de la tesis doctoral «Tecnicas de reescritura para especificaciones condicionales.«
Semantica de comportamiento en lenguajes de especificacion
Tesis doctoral de M. Pilar Nivela Alos Datos académicos de la tesis doctoral «Semantica de comportamiento en lenguajes de