Doktorego-tesia

  1. Razonamiento mecanizado en álgebra homológica 2006

    Universidad de La Rioja

Zuzendutako tesiak (1)

  1. Formalisation and execution of Linear Algebra: theorems and algorithms 2016

    Universidad de La Rioja

    Divasón Mallagaray, Jose

Tesi epaimahaiak (1)

  1. Epaimahaikidea

    Certificación formal de programas en un lenguaje funcional impaciente 2012

    Universidad Complutense de Madrid

    Dios Castro, Javier de