Laureano
Lambán Pardo
PROFESOR TITULAR DE UNIVERSIDAD
Thèse de doctorat
Thèses dirigées (3)
-
Effective computation of invariants of finite topological spaces 2021
Universidad de La Rioja
Cuevas Rozo, Julian L.
-
Especificación orientada a objetos de sistemas de cálculo simbólico 2003
Universidad de La Rioja
-
Objetos localmente efectivos y tipos abstractos de datos 2002
Universidad de La Rioja
Jurys de thèses (9)
-
Rapporteur du jury
Modelo de acontecimientos para la persistencia 2017Universidad de Alcalá
ALLUÉ GIL, ALBERTO
-
Un secrétaire du jury
Formalisation and execution of Linear Algebra: theorems and algorithms 2016Universidad de La Rioja
-
Rapporteur du jury
Aplicaciones de la racionalidad acotada al razonamiento cualitativo sobre sistemas complejos 2014Universidad de Sevilla
Galán Páez, Juan
-
Un secrétaire du jury
Gestión mecanizada del conocimiento matemático en topología algebraica 2011Universidad de La Rioja
-
Un secrétaire du jury
Coordinación de servicios Web: de las aplicaciones a los modelos formales 2009Universidad de La Rioja
-
Un secrétaire du jury
Homología efectiva y sucesiones espectrales 2007Universidad de La Rioja
-
Un secrétaire du jury
Razonamiento mecanizado en álgebra homológica 2006Universidad de La Rioja
-
Rapporteur du jury
Funciones de orden superior en programación funcional: una perspectiva categórica 2003Universidade da Coruña
FREIRE BRAÑAS JOSÉ ENRIQUE
-
Un secrétaire du jury
Metamodelización y formalismos para la representación del comportamiento 2002Universidad de La Rioja