Retículos multi-adjuntos y teoremas de continuidad para el operador de consecuencias
Tesis doctoral de Jesús Medina Moreno Se introducen los retículos multi-adjuntos y las álgebras multi-adjuntas para construir un marco general […]
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.
Bases de ideales en multirreticulos y delta-arboles
Tesis doctoral de Gloria Gutierrez Barranco El grupo de investigacion gimac ha desarrollado la metodología de demostracion automatica de teoremas
Anillos funtoriales y categorías localmente finitamente presentadas. aplicaciones al estudio de anillos de endomorfismos.
Tesis doctoral de Gómez Sánchez Pedro Luis Nos ocupamos de estudiar la clase de categorías aditivas que son localmente finitamente
Semántica funcional para lógicas temporales x modales. definibilidad y teoremas de completitud
Tesis doctoral de Muñoz Velasco Emilio José Este trabajo está enmarcado en un área de conocimiento teórico, concretamente en el
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
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
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
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