Laureano
Lambán Pardo
PROFESOR TITULAR DE UNIVERSIDAD
Thesis
Supervised Theses (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
Theses Committees (9)
-
Committee Member
Modelo de acontecimientos para la persistencia 2017Universidad de Alcalá
ALLUÉ GIL, ALBERTO
-
Secretary of the Committee
Formalisation and execution of Linear Algebra: theorems and algorithms 2016Universidad de La Rioja
-
Committee Member
Aplicaciones de la racionalidad acotada al razonamiento cualitativo sobre sistemas complejos 2014Universidad de Sevilla
Galán Páez, Juan
-
Secretary of the Committee
Gestión mecanizada del conocimiento matemático en topología algebraica 2011Universidad de La Rioja
-
Secretary of the Committee
Coordinación de servicios Web: de las aplicaciones a los modelos formales 2009Universidad de La Rioja
-
Secretary of the Committee
Homología efectiva y sucesiones espectrales 2007Universidad de La Rioja
-
Secretary of the Committee
Razonamiento mecanizado en álgebra homológica 2006Universidad de La Rioja
-
Committee Member
Funciones de orden superior en programación funcional: una perspectiva categórica 2003Universidade da Coruña
FREIRE BRAÑAS JOSÉ ENRIQUE
-
Secretary of the Committee
Metamodelización y formalismos para la representación del comportamiento 2002Universidad de La Rioja