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 doctorales de Logica deductiva
Funciones de complejidad y su relacion con las familias abstractas de lenguajes
Tesis doctoral de Joaquin Gabarro Valles Datos académicos de la tesis doctoral «Funciones de complejidad y su relacion con
Pieza unidimensional hiperelastica. estudio matematico del estado de solicitacion con grandes deformaciones.
Tesis doctoral de Antonio Bertellotti Bouzada Ecio En este trabajo se analiza la dependencia entre los desplazamientos y ciertas deformaciones
La logica de normas de g. kalinowski y las semanticas de mundos posibles
Tesis doctoral de Adoración Sánchez García La tesis constituye un estudio de las aportaciones de kalinowski a la logica de
El concepto de funcion recursiva como elucidacion formal-matematica de la nocion informal de algoritmo.
Tesis doctoral de Campos Rosello Francisco Jose Se establecen la condiciones que ha de satisfacer un algoritmo; se introducen los
Una extension de metodos algebraicos a la teoria de modelos
Tesis doctoral de Alejandro Fernandez Margarit La idea central de este trabajo consiste en la introduccion del concepto de cociente
Lt-equiValencia.
Tesis doctoral de Carlos Martinez Alonso Datos académicos de la tesis doctoral «Lt-equiValencia.« Título de la tesis: Lt-equiValencia. Autor:
Maquinas de turing borrosas y modelos de w-calculabilidad.
Tesis doctoral de Buenaventura Clares Rodríguez Datos académicos de la tesis doctoral «Maquinas de turing borrosas y modelos de
Modelos booleanos e independencia de la hipotesis del continuo.
Tesis doctoral de Ramon Jansana Ferrer En esta tesis se presentan fundamentalmente dos resultados nuevos en el contexto de la
Estructuras generales de segundo orden.
Tesis doctoral de Ignasi Jane Palau Se tratan diversos temas de logica de segundo orden todos ellos relacionados con el
