Trabajos de investigación dirigidos por José A. Alonso

Relación (en orden cronológico inverso) de Tesis doctorales, tesinas de Licenciatura y trabajos de investigación doctoral dirigidos por José A. Alonso hasta el

1. Formalización en Isar de la metalógica de primer orden
   Tesis doctoral de Fabián Fernando Serrano Suárez. Universidad de Sevilla, Junio de 2012.
   
   
2. Elementos de matemáticas formalizadas en Isabelle/Isar
   Trabajo de investigación de doctorado de Fabián Fernando Serrano Suárez. Universidad de Sevilla, Septiembre de 2008.
   
   
3. Técnicas de depuración e integración de ontologías en el ámbito empresarial.
   Tesis doctoral de Antonio Paredes Moreno. Universidad de Sevilla, 2008.
   
   
4. Demostración de teoremas basada en leanTAP. Posibilidades abductivas.
   Trabajo de investigación de doctorado de Fernando Soler Toscano. Universidad de Sevilla, 2004.
   
   
5. Teoría computacional (en PVS) de la programación lógica y del análisis formal de conceptos.
   Tesis doctoral de María José Hidalgo Doblado. Universidad de Sevilla, 2004.
   
   
6. Verificación formal en ACL2 del algoritmo de Buchberger
   Tesis doctoral de Inmaculada Medina Bulo. Universidad de Sevilla, 2003.
   
   
7. Teoría computacional (en ACL2) sobre cálculos proposicionales
   Tesis doctoral de Francisco J. Martín Mateos. Universidad de Sevilla, 2002.
   
   
8. Operadores de generalización para el aprendizaje clausal.
   Tesis doctoral de Miguel A. Gutiérrez Naranjo. Universidad de Sevilla, 2002.
   
   
9. Una teoría computacional acerca de la lógica ecuacional (formalización n ACL2 de la lógica ecuacional y demostración automática de sus propiedades).
   Tesis doctoral de José L. Ruiz Reina. Universidad de Sevilla, 2001.
   
   
10. Problemas de unificación: Unificación sintáctica y E-unificación.
    Tesina de Licenciatura de Francisco J. Martín Mateos. Universidad de Sevilla, 1995.
    
    
11. Fundamentos de programación lógica.
    Tesina de Licenciatura de Miguel A. Gutiérrez Naranjo. Universidad de Sevilla, 1994.
    
    
12. Demostración automática mediante tableros semánticos
    Trabajo de investigación de doctorado de Manuel E. Gegúndez Arias y Jesús Muñoz San Miguel. Universidad de Sevilla, 1994
    
    
13. Sistemas de reescritura de términos.
    Tesina de Licenciatura de José L. Ruiz Reina. Universidad de Sevilla, 1994.