Tese doutoral

  1. Bases de Göbnerdesarrollo formal en coq 2005

    Universidade da Coruña

Tribunais de teses (1)

  1. Vogal do tribunal

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

    Universidad de Sevilla

    Serrano Suárez, Fabián Fernando