Propiedades de escision relativas a topologías de gabriel con aplicaciones a los anillos de endomorfismos.
Tesis doctoral de Jose Asensio Mayor Si f es una topología de gabriel por la izquierda sobre un anillo r […]
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.
Grupos de atutomorfismos de predicados computablemente enumerables y endomorfismos de numeraciones
Tesis doctoral de Elias Fernandez-combarro Alvarez En esta memoria se usan conceptos algebraicos para estudiar objetos de la teoria de
Ideales y filtros de implicantes/implicados en lógicas temporales con tiempo lineal y discreto
Tesis doctoral de Pablo Jose Cordero Ortega Enmarcado en el campo de los fundamentos matemáticos de la demostración automática, realiza
Varias perspectivas sobre las bases de grÁ¶bner: forma normal de smith, algoritmo de berlekamp y álgebras de leibniz.
Tesis doctoral de Manuel Avelino Insua Hermo Resumen: la memoria se enmarca dentro de álgebra computacional y tiene como hilo
Geometria dinámica inteligente
Tesis doctoral de Valcarce Gómez José Luis Los sistemas de geometría dinámica (sgd) se han desarrollado a partir de los
Conexiones de galois débiles y nd-operadores de cierre. razonamiento con ejemplos
Tesis doctoral de Rodríguez Sánchez Francisco Joaquin Analizando los trabajos existentes en la literatura sobre razonamiento automático basados en el
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
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