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

Relación (en orden cronológico inverso) de tesis doctorales, tesinas de Licenciatura, trabajos de investigación doctoral y trabafos fin de Grado dirigidos por José A. Alonso.

Tesis doctorales

Trabajos de investigación de doctorado

Tesinas de Licenciatura

  • 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.
  • Fundamentos de programación lógica. Tesina de Licenciatura de Miguel A. Gutiérrez Naranjo. Universidad de Sevilla, 1994.
  • 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
  • Sistemas de reescritura de términos. Tesina de Licenciatura de José L. Ruiz Reina. Universidad de Sevilla, 1994.

Trabajos Fin de Grado