Tese doutoral

  1. Teoremas de morita para triples en categorías cerradas 1978

    Universidade de Santiago de Compostela

Teses dirixidas (4)

  1. Bases de Göbner: desarrollo formal en coq 2005

    Universidade da Coruña

    Pérez, Gilberto

  2. Una metodología para la ingeniería y reingeniería de sistemas de información basada en patrones, antipatrones y marcos 2001

    Universidade da Coruña

    García-Tizón Iglesias, José María

  3. Funtores entre categorías de formas para álgebras con antiestructura 1989

    Universidad de La Laguna

    Márquez Hernández, Concepción Mercedes

  4. Módulos cuadráticos sobre álgebras con formas paramétricas 1989

    Universidad de La Laguna

    Reyes Sánchez, María Victoria

Tribunais de teses (52)

  1. Vogal do tribunal

    Desarrollo de un método automático de medida del calibre vascular retiniano: evolución desde un sistema manual a la automatización 2013

    Universidade de Santiago de Compostela

    Rodríguez Blanco, María

  2. Presidente do tribunal

    New compression codes for text databases 2005

    Universidade da Coruña

    Fariña, Antonio

  3. Vogal do tribunal

    Varias perspectivas sobre las bases de Gröbner: forma normal de Smith, algoritmo de Berlekamp y álgebras de Leibniz. 2005

    Universidade de Santiago de Compostela

    Insua, Manuel A.

  4. Presidente do tribunal

    Semántica funcional para lógicas temporales x modales: Definibilidad y teoremas de completitud 2003

    Universidad de Málaga

    Muñoz Velasco, Emilio José

  5. Secretario do tribunal

    Formal extension of the relational model for the management of spatial and spatio-temporal data 2003

    Universidade da Coruña

    Ríos Viqueira, José Ramón

  6. Vogal do tribunal

    Geometría dinámica inteligente 2003

    Universidade de Vigo

    VALCARCE GÓMEZ JOSE LUIS

  7. Presidente do tribunal

    Retículos multi-adjuntos y teoremas de continuidad para el operador de consecuencias 2002

    Universidad de Málaga

    Medina Moreno, Jesús

  8. Presidente do tribunal

    Dependencias funcionales, ideal-operadores no deterministas y operadores de sustitución 2002

    Universidad de Málaga

    Mora Bonilla, Ángel

  9. Presidente do tribunal

    Conexiones de Galois débiles y nd-operadores de cierre. Razonamiento con ejemplos 2002

    Universidad de Málaga

    RODRÍGUEZ SÁNCHEZ FRANCISCO JOAQUÍN

  10. Presidente do tribunal

    A general procedure to test conjunctive query containment 2001

    Universidade da Coruña

    Rodríguez Penabad, Miguel

  11. Presidente do tribunal

    Grupos de atutomorfismos de predicados computablemente enumerables y endomorfismos de numeraciones 2001

    Universidad de Oviedo

    Fernández Combarro Álvarez, Elías

  12. Presidente do tribunal

    Anillos funtoriales y categorías localmente finitamente presentadas. Aplicaciones al estudio de anillos de endomorfismos 2001

    Universidad de Murcia

    Gómez Sánchez, Pedro Luis

  13. Presidente do tribunal

    Bases de ideales en multirretículos y delta-árboles 2001

    Universidad de Málaga

    Gutiérrez Barranco, Gloria

  14. Secretario do tribunal

    Chase of datolog programs and its application to solve the functional dependencies impliation problem 2001

    Universidade da Coruña

    Paramá Gabia, José Ramón

  15. Presidente do tribunal

    Códigos mds recursivos y quasigrupos 1999

    Universidad de Oviedo

    Couselo Hernández, María Elena

  16. Presidente do tribunal

    Ideales y filtros de implicantes/implicados en lógicas temporales con tiempo lineal y discreto 1999

    Universidad de Málaga

    Cordero Ortega, Pablo

  17. Vogal do tribunal

    Delta-árboles de implicantes e implicados y reducciones de lógicas en ATPS 1999

    Universidad de Málaga

    Valverde Ramos, Agustín

  18. Presidente do tribunal

    Algoritmos genéticos generalizados: variaciones sobre un tema 1998

    Universidade da Coruña

    Iglesias Otero, María Teresa

  19. Vogal do tribunal

    Complejidad algorítmica en homotopía racional 1998

    Universidad de Málaga

    Lechuga Pérez, Luis

  20. Vogal do tribunal

    Sistemas dinámicos lineales sobre anillos conmutativos y sobre módulos 1998

    Universidad de Valladolid

    Fernández Sucasas, Josefina

  21. Secretario do tribunal

    Localización de Bousfield en categorías derivadas de categorías de Grothendieck 1997

    Universidade de Santiago de Compostela

    Souto Salorio, María José

  22. Secretario do tribunal

    Inclusión de consultas conjuntivas bajo la semántica de bolsas 1997

    Universidade da Coruña

    Brisaboa, Nieves R.

  23. Vogal do tribunal

    Reducciones totales y parciales para el análisis de validez y construcción de modelos en M3 1997

    Universidad de Málaga

    Aguilera Venegas, Gabriel

  24. Secretario do tribunal

    Feixes e categorías finitamente accesibles en contexto enriquecido 1996

    Universidade de Santiago de Compostela

    Quinteiro Sandomingo, M. Carmen

  25. Vogal do tribunal

    Estabilidad transversal de gérmenes representables infinitesimalmente 1996

    Universidade de Santiago de Compostela

    San Luis Fernández, Ana María

  26. Vogal do tribunal

    Métodos formales para normalización en lógica de primer orden usando la metodología tas 1996

    Universidad de Málaga

    Ojeda Aciego, Manuel

  27. Vogal do tribunal

    Identidades en álgebras de Bernstein 1996

    Universidad de Oviedo

    Bernad Luisilla, Jorge

  28. Vogal do tribunal

    Sobre la ecuación funcional de Cauchy condicionada por cuadrados y cubos 1995

    Universidade de Santiago de Compostela

    Martín Gutiérrez, María Emma

  29. Vogal do tribunal

    Isomorfismos de retículos de álgebras de Bernstein 1995

    Universidad de Oviedo

    Sánchez, J. A.

  30. Vogal do tribunal

    Un estudio algebraico de las lógicas temporales 1994

    Universidad de Granada

    García Olmedo, Francisco Miguel

  31. Secretario do tribunal

    Construcción de álgebras en computación 1993

    Universidade da Coruña

    Aguado, Felicidad

  32. Secretario do tribunal

    Shape. Sistema heurístico de aprendizaje a partir de ejemplos 1993

    Universidade da Coruña

    Botana Ferreiro, Francisco

  33. Secretario do tribunal

    Optimización y análisis de especificaciones funcionales: un enfoque hacia la automatización 1993

    Universidad de Málaga

    Pareja Flores, Cristóbal

  34. Vogal do tribunal

    Una aproximación a la programación lógica con funciones indeterministas 1993

    Universidade da Coruña

    Sarmiento Escalona, Antonio

  35. Secretario do tribunal

    Nuevas aportaciones en h*-teorías 1991

    Universidad de Málaga

    Martín González, Cándido

  36. Vogal do tribunal

    Extensiones de cleft en categorías cerradas. Interpretación cohomológica 1991

    Universidade de Santiago de Compostela

    Alonso Álvarez, José N.

  37. Vogal do tribunal

    Dualidades de morita entre categorías de Grothendieck y anillos de endomorfismos 1991

    Universidad de Murcia

    Guil Asensio, Pedro Antonio

  38. Vogal do tribunal

    Invariantes asociados a endomorfismos de módulos que admiten resoluciones libres finitas 1991

    Universidad de Valladolid

    Pisonero Pérez, Miriam

  39. Vogal do tribunal

    Programación funcional y procesamiento paralelo. Transformaciones paralelizantes de programas 1991

    Universidad de Málaga

    Medina Cano, Eduardo

  40. Presidente do tribunal

    Sobre h+- sistemas triples 1990

    Universidad de Málaga

    Castellón Serrano, Alberto

  41. Vogal do tribunal

    Sistemas triples de Jordan con zócalo no nulo y de Banach regulares 1990

    Universidad de Málaga

    Sánchez Campos, Esperanza

  42. Vogal do tribunal

    (co-)homología de Hochschild de álgebras localmente intersección completa 1990

    Universidade de Santiago de Compostela

    Lago Martínez, Ana

  43. Presidente do tribunal

    Espacios con aplicación evaluación no trivial 1989

    Universidad de Málaga

    Murillo Mas, Aniceto

  44. Presidente do tribunal

    H*-álgebras de Jordan no conmutativas reales 1989

    Universidad de Málaga

    Sánchez Sánchez, Antonio

  45. Vogal do tribunal

    Esquemas nórdicos y semicontinuidad de los defectos de intersección completa 1988

    Universidade de Santiago de Compostela

    Alonso Tarrío, Leovigildo

  46. Presidente do tribunal

    Sistemas triples asociativos con socle 1987

    Universidad de Málaga

    García Rus, Eulalia

  47. Vogal do tribunal

    Dimensiones de anillos de endomorfismos de módulos quasiproyectivos 1987

    Universidad de Murcia

    Saorín Castaño, Manuel

  48. Vogal do tribunal

    Superficies algebroides de tipo dimensional uno (característica arbitraria) 1987

    Universidad de La Laguna

    Bermejo Díaz, María Isabel

  49. Vogal do tribunal

    Sobre las superficies regladas regulares de IP3 1987

    Universidad Complutense de Madrid

    Pedreira Pérez, Manuel Ramón

  50. Vogal do tribunal

    Propiedades de escisión relativas a topologías de Gabriel con aplicaciones a los anillos de endomorfismos 1986

    Universidad de Murcia

    Asensio Mayor, José

  51. Vogal do tribunal

    Complejos hipercruzados: cohomología y extensiones 1986

    Universidad de Granada

    Carrasco Carrasco, María Pilar

  52. Secretario do tribunal

    Mínima realización para máquinas en una categoría 1982

    Universidade de Santiago de Compostela

    Bahamonde Rionda, Antonio