Dependencias funcionales,ideal-operadores no deterministas y operadores de sustitución.
Tesis doctoral de ángel Mora Bonilla El trabajo de la tesis estudia los «fundamentos lógicos y algebraicos y aplicaciones a […]
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.
Delta-arboles de implicantes e implicados y reducciones de logicas en atps.
Tesis doctoral de Agustin Valverde Ramos El trabajo pertenece al campo de la demostración automática para las lógicas multivaluadas, tarea
Codigos mds recursivos y quasigrupos.
Tesis doctoral de Elena Couselo Hernandez Entre los problemas de la teoría de códigos se destacan los siguientes: encontrar el
Complejidad algoritmica en homotopia racional.
Tesis doctoral de Luis Lechuga Perez El objetivo central de la tesis es demostrar que la mayoría de los invariantes
Sistemas dinamicos lineales sobre anillos conmutativos y sobre modulos.
Tesis doctoral de Josefa Fernandez Sucasas La memoria está dedicada al estudio de sístemas dinámicos sobre anillos y módulos. Para
Algoritmos geneticos generalizados: variaciones sobre un tema.
Tesis doctoral de Iglesias Otero M. Teresa Durante las tres últimas décadas se ha incrementado el interés por los algoritmos
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.
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