Conceptos temporales para el estudio del comportamiento de programas.
Tesis doctoral de Farinas Del Cerro Luis Datos académicos de la tesis doctoral «Conceptos temporales para el estudio del […]
Tesis doctoral de Fernandez-prida De Carlos Jose
Información academica Fernandez-prida De Carlos Jose. Tesis donde Fernandez-prida De Carlos Jose ha sido autor, director o parte del tribunal.
Una teoria de tipos estructurados de datos.
Tesis doctoral de Fernando Orejas Valdés Presentacion de un nuevo metodo para la especificacion de tipos estructurados de datos basado
La interpretación filosófica del cálculo infinistesimal en el sistema de hegel.
Tesis doctoral de Miranda Martin Francisco Javier La investigación se articula en tres partes fundamentales: 1,- marco general de la
Tecnicas de demostracion de indecidibilidad e inseparabilidad en teorias formales
Tesis doctoral de Enrique Gallego Castaño El objetivo de esta memoria es analizar las tecnicas para la demostracion de la
Interacciones contextuales en la dinamica de la matematica.
Tesis doctoral de Jenaro Garcia Suarez Se mantiene que la enseñanza de las matemáticas debe ser contemplada teniendo en cuenta
Reflection in general logics and in rewriting logic with applications to the maude languaje.
Tesis doctoral de Manuel Garcia Clavel La reflexión, entendida como la capacidad de representar nuestras ideas y de hacerlas objetos
Abraham robinson y el analisis no estandar: una vuelta a leibniz?.
Tesis doctoral de Joven Alvarez Fernando Javier La tesis estudia por una parte distintas construcciones del cuerpo no arquimediano extension
Diseño e implementacion de un sistema de analisis documental automatico.
Tesis doctoral de Lopez Rincon M. Carmen El proposito del trabajo es el desarrollo de un sistema de analisis documental
Sobre dos logicas categoricas: logica lineal y algebra con tipos ordenados
Tesis doctoral de Narciso Marti Oliet La logica lineal ha sido desarrollada recientemente por girard como una logica de acciones
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«