Estabilidad transversal de germenes representables infinitesimalmente.
Tesis doctoral de San Luis Fernandez Ana M. Esta memoria se situa en el contexto de la geometria diferencial sintetica. […]
Tesis doctoral de Barja Perez José María
Información academica Barja Perez José María. Tesis donde Barja Perez José María ha sido autor, director o parte del tribunal.
Reducciones totales y parciales para el analisis de validez y construccion de modelos en m3.
Tesis doctoral de Gabriel Aguilera Venegas Esta tesis estudia la demostracion automatica de teoremas en logicas trivaluadas. Concretamente se presenta
Metodos formales para normalizacion en logica de primer orden usando la metodología tas.
Tesis doctoral de Manuel Ojeda Aciego En la logica de primer orden la obtencion de formas normales es un prerrequisito
Identidades en algebras de bernstein.
Tesis doctoral de Jorge Bernad Luisilla La memoria, titulada identidades en algebras de bernstein, trata sobre el estudio de identidades
Isomorfismos de reticulos de algebras de bernstein
Tesis doctoral de Sanchez Nadal José Antonio El objeto de la tesis es el estudio de las propiedades de un
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
Una aproximacion a la programacion logica con funciones indeterministas.
Tesis doctoral de Antonio Sarmiento Escalona La memoria es un intento de integracion de programacion logica y funcional derivado del
Extensiones de cleft en categorias cerradas. interpretacion cohomologica.
Tesis doctoral de Alonso Alvarez José Nicanor En este trabajo, en su primera parte, se desarrolla una teoria de productos
(co-)homología de hochschild de algebras localmente interseccion completa
Tesis doctoral de Ana Lago Martinez El objetivo de la memoria es el estudio de la anulacion de los modulos
Sobre h+- sistemas triples
Tesis doctoral de Alberto Castellon Serrano Datos académicos de la tesis doctoral «Sobre h+- sistemas triples« Título de la