Un estudio algebraico de las logicas temporales
Tesis doctoral de Francisco Garcia Olmedo En la memoria se efectua un estudio de las algebras temporales. En el mismo […]
Tesis doctoral de José Luis Vicente Córdoba
Información academica José Luis Vicente Córdoba. Tesis donde José Luis Vicente Córdoba ha sido autor, director o parte del tribunal.
Transversalidad en grafos numerables localmente finitos
Tesis doctoral de Luis Boza Prieto En este trabajo se exponen una serie de resultados sobre transversalidad en grafos conexos
Grafos periodicos: una familia de grafos infinitos que admiten una algoritmica constructiva.
Tesis doctoral de Dana Jimenez Juan Carlos El objetivo de esta tesis es definir una familia de grafos infinitos en
Series y funciones gevrey en varias variables
Tesis doctoral de Zurro Moro M. Angeles Los resultados mas importantes de la memoria son: a) el teorema de division
Algoritmos de calculo de homología efectiva de los espacios clasificantes.
Tesis doctoral de Pedro Real Jurado Se describen dos algoritmos de calculo de la homología efectiva de los espacios clasificantes.