Arquitectura de programas a partir de especificaciones formales
Tesis doctoral de Joaquin Salvachua Rodriguez Lotos es un lenguaje de especificacion para la descripcion de protocolos entre sistemas abiertos. […]
Tesis doctoral sobre Algebra
Accede a todas las tesis doctorales sobre Algebra mas relevantes.
«la sucesion exacta pic(c) pic(d) k1a(f) br(c) br(d) en categorias cerradas. aplicacion a la teoria de invariantes relativos de haces de modulos».
Tesis doctoral de Ramon Gonzalez Rodriguez Dado un conveniente funtor monoidal f : c d entre categorias cerradas y simetricas
Topología intermedia sobre el espectro de k(x1,…,xn). submodulos primos y submodulos iniciales.
Tesis doctoral de Agustin Marcelo Vega El objetivo de este trabajo es el estudio de dos nuevos conceptos dentro del
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
Propiedades espectrales de matrices: el indice de matrices triangulares por bloques. la raiz perron de matrices cociclicas por bloques.
Tesis doctoral de Joan Josep Climent Coloma En la tesis se estudian dos problemas relacionados con las propiedades espectrales de
Completacion de anillos y modulos noetherianos relativos.
Tesis doctoral de Evangelina Santos Alaez El objeto central de estudio de esta memoria es la completacion algebraica de anillos,
Matrices no-negativas.
Tesis doctoral de Alberto Borobia Vizmanos El autor estudia distintos problemas en el campo de las matrices no-negativas.En el capitulo
Propiedad de artin-lang para variedades analiticas de dimension dos.
Tesis doctoral de Castilla Carbajo Ana Africa El objetivo central de esta tesis ha sido el estudio de los conjuntos
Algoritmos de unificacion ecuacional en teorias xerais
Tesis doctoral de Luis Cachafeiro Chamosa Se presenta un nuevo algoritmo universal de e-unificacion que es completo en teorias generales,
Caracterizacion y clasificacion de hipersuperficies en los espacios pseudo-riemannianos de curvatura constante
Tesis doctoral de Luis Jose Alias Linares En esta memoria se abordan dos cuestiones referentes a la caracterizacion y clasificacion