La restriccion en la teoria de la gramatica (en torno a la evolucion de los modelos chomskyanos).
Tesis doctoral de Longa Martinez Victor Manuel En la tesis referida se analizan las principales divergencias sucedidas a lo largo […]
Tesis doctoral sobre Logica deductiva
Accede a todas las tesis doctorales sobre Logica deductiva mas relevantes.
Nonuniform complexity classes with sub-linear advice functions.
Tesis doctoral de Montserrat Hermo Huguet Se realiza un estudio exhaustivo de algunas clases de complejidad definidas a partir del
Similaridad intermundana y logica multicondicional.
Tesis doctoral de Javier Vilanova Arias Analisis logico (formal e informal) de los enunciados condicionales de los lenguajes naturales. Para
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
Logica temporal y demostracion automatica de teoremas. eficiencia y paralelismo
Tesis doctoral de Enciso Garcia Oliveros Manuel Este trabajo se enmarca en la demostracion automatica de teoremas en logica modal
Un formalismo para la extraccion de informacion semantica en textos matematicos.
Tesis doctoral de Julia Diaz Garcia El trabajo de investigacion que se presenta ha sido desarrollado en el marco del
Contribucion a la formalizacion de la fase de ejecucion de pruebas.
Tesis doctoral de Huecas Fernandez Toribio Gabriel En el campo de la ingenieria de protocolos es fundamental el papel que
Diseño y verificacion de sistemas en lotos
Tesis doctoral de Martin Llamas Nistal Lotos (lenguage of temporal ordering specificaction) es una tecnica de descripcion formal desarrollada para
Transformacion y verificacion con lotos
Tesis doctoral de José Juan Pazos Arias El trabajo de la tesis es una contribucion al diseño y desarrollo de
Modelos de induccion acotada.
Tesis doctoral de Joaquin Borrego Diaz Entre los nuevos resultados que se obtienen en este trabajo caben destacar: – relaciones