Tesis doctoral

  1. Bases de Göbnerdesarrollo formal en coq 2005

    Universidade da Coruña

Tribunales de tesis (1)

  1. Vocal del tribunal

    Formalización en isar de la metalógica de primer orden 2012

    Universidad de Sevilla

    Serrano Suárez, Fabián Fernando