Tesis de "Teoría de modelos" (30 tesis)
- Página 1 de 1
Tesis doctoral dirigida por Javier Andrade Garda, Rafael García Vázquez. Universidade da Coruña (2009).
Marc Solé Simó
Tesis doctoral dirigida por Enrique Pastor Llorens. Universitat Politècnica de Catalunya (2009).
Modeling arguments and uncertain information -a non-monotonic resoning approach
Juan Carlos Nieves Sánchez
Tesis doctoral dirigida por Claudio Ulises Cortés García. Universitat Politècnica de Catalunya (2008).
Rodrigo Andrés Peláez Peláez
Tesis doctoral dirigida por Enrique Casanovas Ruiz-Fornells. Universitat de Barcelona (2008).
Negaciones subintuicionistas para lógicas con la conversa de la propiedad Ackermann
Gemma Robles Vazquez
Tesis doctoral dirigida por José Manuel Méndez Rodríguez. Universidad de Salamanca (2006).
Sistema integrado de gestión logística optimizada
Tesis doctoral dirigida por Jesús Manuel de la Cruz García, Bonifacio de Andrés Toro. Universidad Complutense de Madrid (2004).
Retículos multi-adjuntos y teoremas de continuidad para el operador de consecuencias
Tesis doctoral dirigida por Agustín Valverde Ramos, Manuel Ojeda Aciego. Universidad de Málaga (2002).
Modelado borroso basado en aprendizaje inductivo para sistemas de control
Tesis doctoral dirigida por Alfonso José García Cerezo. Universidad de Málaga (2001).
M. Jesús Souto Alvedro
Tesis doctoral dirigida por Vicente Pérez Muñuzuri, José Antonio Souto González. Universidade de Santiago de Compostela (2000).
Inducción y recursión: las teorías I delta N+1(T)
Tesis doctoral dirigida por Alejandro Fernández Margarit. Universidad de Sevilla (2000).
Sintaxis y codificación en modelos de sistemas complejos
Tesis doctoral dirigida por Yolanda Villacampa Esteve. Universidad de Alicante (1999).
Delta-árboles de implicantes e implicados y reducciones de lógicas en ATPS
Tesis doctoral dirigida por Inmaculada Pérez de Guzmán Molina, Manuel Ojeda Aciego. Universidad de Málaga (1999).
Modelos y métodos matemáticos en un problema de coordinación hidrotérmica
Tesis doctoral dirigida por Luis Froilán Bayón Arnau, Pedro María Suárez Rodríguez. Universidad de Oviedo (1999).
Modelo depredador-presa. Aplicaciones al control biológico
Tesis doctoral dirigida por Antonio R. Tineo Bello, Tomás Cabello García. Universidad de Almería (1999).
Algunas contribuciones a la modelización matemática de procesos de combustión de carbón
Tesis doctoral dirigida por Alfredo Bermúdez de Castro y López-Varela. Universidade de Santiago de Compostela (1999).
Reducciones totales y parciales para el análisis de validez y construcción de modelos en M3
Tesis doctoral dirigida por Inmaculada Pérez de Guzmán Molina. Universidad de Málaga (1997).
Sistemas vivos y sus modelos matemáticos. Modelización de un ecosistema
Tesis doctoral dirigida por Yolanda Villacampa Esteve. Universidad de Alicante (1996).
Contributions to the model theory of equality-free logic
Tesis doctoral dirigida por Ramón Jansana Ferrer. Universitat de Barcelona (1996).
Algebraic model theory for languages without equality
Tesis doctoral dirigida por Josep Maria Font i Llobet, Don L. Pigozzi. Universitat de Barcelona (1994).
Generalización modelista de las teorías infinitarias de órdenes: órdenes parciales
Tesis doctoral dirigida por Jesús María Larrazábal Antía. Universidad del País Vasco (1993).
Model theory for valued and ordered fields, and applications
Tesis doctoral dirigida por Françoise Delon. Universitat de Barcelona (1992).
Contribuciones a la teoría abstracta de modelos
Enrique Casanovas Ruiz-Fornells
Tesis doctoral dirigida por Ignacio Jané Palau. Universitat de Barcelona (1987).
Tesis doctoral dirigida por Jorg Flum. Universidad Complutense de Madrid (1983).
Una extensión de métodos algebraicos a la teoría de modelos
Tesis doctoral dirigida por Luis María Laita de la Rica. Universidad de Sevilla (1983).
Ecio Antonio Bertellotti Bouzada
Tesis doctoral dirigida por Emilio Garbayo Martínez. Universitat Politècnica de Catalunya (1983).
Modelos generales de segundo orden
Tesis doctoral dirigida por Jesús Mosterín. Universitat de Barcelona (1982).
Extensiones del sistema l3 de lógica trivalente
Tesis doctoral dirigida por José Hierro Sánchez-Pescador. Universidad Complutense de Madrid (1981).
Teoría de modelos en la fonología del español actual
Miguel Angel Pineda Pérez
Universidad de Sevilla (1979).
Sobre ultraproductos de espacios de Banach en cuerpos no arquimedianos
Tesis doctoral dirigida por Antonio de Castro Brzezicki. Universidad de Sevilla (1979).
Un método de aproximaciones finitas en la lógica de primer orden
Tesis doctoral dirigida por Baldomero Rubio Segovia. Universidad Complutense de Madrid (1978).
- Página 1 de 1
