Tesis doctoral

  1. Bases de Göbnerdesarrollo formal en coq 2005

    Universidade da Coruña

Tesis dirigidas (1)

  1. Generating Commonsense Explanations with Answer Set Programming 2024

    Universidade da Coruña

    Muñiz Castro, Brais

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