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 Fariñas Del Cerro Luis
Información academica Fariñas Del Cerro Luis. Tesis donde Fariñas Del Cerro Luis ha sido autor, director o parte del tribunal.
Ideales y filtros de implicantes/implicados en lógicas temporales con tiempo lineal y discreto
Tesis doctoral de Pablo Jose Cordero Ortega Enmarcado en el campo de los fundamentos matemáticos de la demostración automática, realiza
Revisión del razonamiento condicional a partir de la tarea de selección
Tesis doctoral de Miguel López Astorga En este trabajo se realiza un análisis del razonamiento condicional. Para ello, el autor
Investigaciones sobre gramáticas categoriales: algoritmos de parsing y equiValencia entre formalismos
Tesis doctoral de José Antonio Jimenez Millan Esta tesis doctoral muestra el resultado de una investigación sobre la utilización del
Delta-arboles de implicantes e implicados y reducciones de logicas en atps.
Tesis doctoral de Agustin Valverde Ramos El trabajo pertenece al campo de la demostración automática para las lógicas multivaluadas, tarea
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
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
Logica parcial trivalorada. aproximaciones de primer orden, de orden superior e intuicionista
Tesis doctoral de Francisca Lucio Carrasco Se extiende la logica de primer orden clasica, de forma conservadora, a una logica