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
Nuevos planteamientos de geometria algebraica real en robotica.
Tesis doctoral de Gonzalez Lopez M. Jose En la tesis, titulada «nuevos planteamientos de geometria algebraica real en robotica», se
Realizaciones periodicas discretas de una coleccion periodica de matrices racionales
Tesis doctoral de Peregrina Carmen Coll Aliaga Uno de los resultados principales de esta memoria es la obtencion de una
Ecuacion matricial y producto tensorial en la semejanza por bloques
Tesis doctoral de Beitia Gomez De Segura M. Asuncion Es conocida la importancia de la ecuacion matricial de sylvester ax-xb
Generalizacion modelista de las teorias infinitarias de ordenes: ordenes parciales
Tesis doctoral de Begoña Carrascal Platas En este trabajo se caracterizan diferentes subclases de ordenes parciales mediante enunciados de lenguajes
Cancel.lacio de moduls. moduls artinians i anells de funcions continues.
Tesis doctoral de Rosa Camps Camprubi La tesis se contextua en el tema de la cancelacion de modulos enfocado desde