Listar Tesis (Ciencias de la Computación e Inteligencia Artificial) por título
Mostrando ítems 29-35 de 35
-
Tesis Doctoral
Semilinear order property and infinite games
(2016-01-22)En este trabajo se analiza la determinación de juegos de Lipschitz y Wadge, junto con la propiedad de ordenación semilineal, ...
-
Tesis Doctoral
Teoría computacional (en ACL2) sobre cálculos proposicionales
(2002)En este trabajo se desarrolla una formalización de sistemas de razonamiento proposicionales y se verifican automáticamente sus principales propiedades en el sistema de demostración automática ACL2.
-
Tesis Doctoral
Una teoría computacional acerca de la lógica ecuacional formalización en ACL2 de la lógica ecuacional y demostración automática de sus propiedades
(2001)El objetivo principal de la Tesis es el desarrollo de una teoría computacional acerca de la lógica ecuacional, usando para ...
- Tesis Doctoral
-
Tesis Doctoral
Verificación de programas en modelos de computación no convencionales
(2002)El objetivo fundamental de esta memoria consiste en desarrollar una primer aproximación a la verificación formal de ...
-
Tesis Doctoral
Verificación formal en ACL2 del Algoritmo de Buchberger
(2003-12-18)En este trabajo se han desarrollado los elementos necesarios para especificar, implementar y verificar la correción del ...
-
Tesis Doctoral
Virus machines: an unconventional computing paradigm
(2024-05-28)Sobrepasar la estructura convencional de los ordenadores actuales diseñada John von Neumann desde hace casi 100 años es ...