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 […]
Tesis doctoral sobre Logica
Accede a todas las tesis doctorales sobre Logica mas relevantes.
Contribucion al estudio de los sistemas de comunicaciones industriales mediante tecnicas de descripcion formal.
Tesis doctoral de Francisco Poza Gonzalez El uso creciente de los buses de campo en la industria ha originado el
Un modelo logico de la accion social.
Tesis doctoral de Pedro Miguel Navarro Sainz Datos académicos de la tesis doctoral «Un modelo logico de la accion
Sistemas vivos y sus modelos matematicos. modelizacion de un ecosistema.
Tesis doctoral de Miguel Lloret Climent En este trabajo se formalizan matematicamente y se estudian los aspectos mas importantes de
Conceptos modales e individuacion.
Tesis doctoral de Manuel Perez Otero El tema central de esta tesis es la distincion kripkeana entre dos dicotomias modales
Reducciones totales y parciales para el analisis de validez y construccion de modelos en m3.
Tesis doctoral de Gabriel Aguilera Venegas Esta tesis estudia la demostracion automatica de teoremas en logicas trivaluadas. Concretamente se presenta
Proof procedures for multiple-valued propositional logics.
Tesis doctoral de Felip Maña Serres En esta tesis se presentan procedimientos de prueba para logicas proposicionales multivaluadas. Se definen
El concepto de prueba matematica en las caracterizaciones filosofico-metodologicas de henri poincare e imre lakatos.
Tesis doctoral de María Pilar Beltran Orenes La tesis presentada realiza un analisis del concepto «demostracion o prueba matematica» desde
Resolucion sl*: un paradigma basado en resolucion lineal para la demostracion automatica.
Tesis doctoral de Casamayor Rodenas Juan Carlos El trabajo incluido en la presente tesis se enmarca dentro del campo de
Verificacio automatica de programes basada en semantica de comportament i logica de primer ordre: el metodo alice.
Tesis doctoral de Palasi Lallana Vicent Ramon Se presenta un metodo de verificacion automatica llamado alice (algebraic inference of the