Tesis de "Lenguajes formales" (21 tesis)

• Semantic representation and enforcement of electronic contracts on audiovisual content

  Víctor Rodríguez Doncel

  Tesis doctoral dirigida por Jaime Delgado Mercé. Universitat Politècnica de Catalunya (2010).

  • Resumen
  

• Medistam-rt: metodología de diseño y análisis de sistemas de tiempo real

  Kawtar Benghazi Akhlaki

  Tesis doctoral dirigida por Juan Antonio Holgado Terriza, Manuel Isidoro Capel Tuñón. Universidad de Granada (2009).

  • Resumen
  

• Autómatas finitos: irreducibilidad e Inferencia

  Manuel Vázquez de Parga Andrade

  Tesis doctoral dirigida por Pedro García Gómez. Universitat Politècnica de València (2008).

  • Resumen
  • Texto completo
  

• Matrix graph grammars

  Pedro Pablo Pérez Velasco

  Tesis doctoral dirigida por Juan de Lara Jaramillo. Universidad Autónoma de Madrid (2008).

  • Resumen
  

• Gestión difusa de la incertidumbre aplicada a la localización de robots móviles

  David Herrero Pérez

  Tesis doctoral dirigida por Humberto Martínez Barberá. Universidad de Murcia (2007).

  • Resumen
  

• Definición de un modelo para la verificación formal de procesos de negocio

  Jesús Arias Fisteus

  Tesis doctoral dirigida por Carlos Delgado Kloos. Universidad Carlos III de Madrid (2005).

  • Resumen
  

• Una propuesta de formalización de la arquitectura en cuatro capas de UML

  José Luis Fernández Alemán

  Tesis doctoral dirigida por José Ambrosio Toval Alvarez. Universidad de Murcia (2002).

  • Resumen
  

• Desde especificaciones lógicas de intervalos a autómatas de propiedad: una construcción tableau para su aplicación en comprobación de modelos on-the-fly

  Miguel Juan Hornos Barranco

  Tesis doctoral dirigida por Manuel Isidoro Capel Tuñón. Universidad de Granada (2002).

  • Resumen
  

• Yehoshua bar-hillel: lógica de los lenguajes naturales, información semántica y lingüística teórica

  Ana Eugenia Solans García

  Tesis doctoral dirigida por Rafael Beneyto Torres. Universitat de València (2001).

  • Resumen
  

• Especificación, verificación y mantenimiento de requisitos funcionales con técnicas de descripción formal

  Jorge García Duque

  Tesis doctoral dirigida por José Juan Pazos Arias. Universidade de Vigo (2000).

  • Resumen
  

• Explotación de corpus paralelos alineados para el desarrollo de entornos de composición de documentos estructurados bilingües

  Arantza Casillas Rubio

  Tesis doctoral dirigida por Iñaki Alegría Loinaz, Joseba K. Abaitua Odriozola. Universidad de Deusto (2000).

  • Resumen
  

• Teorías de la verdad para lenguajes autorreferentes: una solución parcial al problema del punto fijo

  José Javier Martínez Fernández

  Tesis doctoral dirigida por Rafael Beneyto Torres. Universitat de València (1999).

  • Resumen
  

• Aplicación de técnicas de descripción formal, mediante lenguaje SDL, al modelo arquitectónico de referencia normalizado de la infraestructura global de la información

  Manuel Tomas Valero

  Tesis doctoral dirigida por Antonio Alabau Muñoz. Universitat Politècnica de València (1998).

  • Resumen
  

• La restricción en la teoría de la gramática (en torno a la evolución de los modelos chomskyanos)

  Víctor Manuel Longa Martínez

  Tesis doctoral dirigida por Tomás Eduardo Jiménez Juliá. Universidade de Santiago de Compostela (1996).

  • Resumen
  

• Un formalismo para la extracción de información semántica en textos matemáticos

  Julia Díaz García

  Tesis doctoral dirigida por Pilar Rodríguez Marín. Universidad Autónoma de Madrid (1995).

  • Resumen
  

• Conjuntos intuicionistas e intervalo-valorados difusos: propiedades y construccion. Relaciones intuicionistas y estructuras

  Nicanor Humberto Bustince Sola

  Tesis doctoral dirigida por Pedro Burillo López. Universidad Pública de Navarra (1994).

  • Resumen
  

• Ingeniería del aprendizaje: hacia una teoría formal y fundamental del aprendizaje

  Ramón M. Casares Gallego

  Tesis doctoral dirigida por Fernando Sáez Vacas. Universidad Politécnica de Madrid (1993).

  • Resumen
  

• Estudio del lema de interpolación en el contexto de diversos lenguajes formales

  Cristina Corredor Lanas

  Tesis doctoral dirigida por Huberto Marraud González. Universidad Autónoma de Madrid (1991).

  • Resumen
  

• Verificación de bases de conocimiento

  Betty Ramirez Nieves

  Tesis doctoral dirigida por Luis María Laita de la Rica. Universidad Politécnica de Madrid (1991).

  • Resumen
  

• Una lógica no estándar admisible para programas funcionales

  Ana Gil Luezas

  Tesis doctoral dirigida por María Teresa Hortala González. Universidad Complutense de Madrid (1990).

  • Resumen
  

• Sistemas formales afines a la semántica de situaciones

  Juan Barba Escribá

  Tesis doctoral dirigida por Huberto Marraud González. Universidad Autónoma de Madrid (1989).