Mario
RODRÍGUEZ ARTALEJO
Investigador hasta 2018
Tesis doctoral
-
Un método de aproximaciones finitas en la lógica de primer orden 1978
Universidad Complutense de Madrid
Tesis dirigidas (9)
-
Programación declarativa cualificada con restricciones 2011
Universidad Complutense de Madrid
ROMERO DIAZ, CARLOS ALBERTO
-
Un esquema de programación lógico-funcional con restricciones: marco teórico y aplicación a la depuración declarativa 2009
Universidad Complutense de Madrid
-
Técnicas de diagnóstico y depuración declarativa para lenguajes lógico-funcionales 2004
Universidad Complutense de Madrid
-
Programación declarativa con restricciones sobre tipos de datos algebraicos 1999
Universidad Complutense de Madrid
-
Programación funcional y lógica con restricciones 1994
Universidad Complutense de Madrid
-
Lógica parcial trivalorada. Aproximaciones de primer orden, de orden superior e intuicionista 1994
Universidad Complutense de Madrid
Lucio, Paqui
-
Una aproximación a la programación lógica con funciones indeterministas 1993
Universidade da Coruña
Sarmiento Escalona, Antonio
-
Una lógica trivalorada para funciones recursivas parciales 1990
Universidad Complutense de Madrid
-
Diseño, semántica e implementación de Babel: un lenguaje que integra la programación funcional y lógica 1989
Universidad Politécnica de Madrid
Moreno Navarro, Juan José
Tribunales de tesis (39)
-
Vocal del tribunal
Some contributions to the semantics of normal logic programs 2008Universitat Politècnica de Catalunya (UPC)
Pasarella Sánchez, Ana Edelmira
-
Presidente del tribunal
Una aproximación al fallo en programación declarativa multiparadigma 2004Universidad Complutense de Madrid
-
Presidente del tribunal
Técnicas de especificación formal de sistemas orientados a objetos basadas en lógica de reescritura 2003Universidad Complutense de Madrid
-
Vocal del tribunal
Partial evaluation of multi-paradigm declarative languaces: foundations, control, algorithms and efficiency 2001Universitat Politècnica de València
-
Presidente del tribunal
Métodos de tableaux para lógicas con declaraciones de términos dominios preordenados y operaciones monótonas 2000Universidad Complutense de Madrid
-
Vocal del tribunal
Modularidad en programación lógico-funcional de primer orden 2000Universidad de Málaga
Molina Bravo, Juan Miguel
-
Vocal del tribunal
Especialización de programas lógico-funcionales perezosos 2000Universitat Politècnica de València
Julián Iranzo, Pascual
-
Vocal del tribunal
Reglas y estrategias de transformación para programas lógico-funcionales 2000Universitat Politècnica de València
Moreno Valverde, Ginés Damián
-
Presidente del tribunal
Programación lógico-funcional con tipos paramétricos y géneros ordenados 1999Universidad Complutense de Madrid
Almendros Jiménez, Jesús Manuel
-
Vocal del tribunal
Control de granularidad en la ejecución paralela de programas lógicas mediante técnicas de análisis y transformación 1999Universidad Politécnica de Madrid
López García, Pedro
-
Vocal del tribunal
On specifyng and reasoning with special relations 1999Universitat Politècnica de Catalunya (UPC)
Marco Schorlemmer, Wernher
-
Secretario del tribunal
Reescritura con restricciones de reemplazamiento 1998Universitat Politècnica de València
Lucas Alba, Salvador
-
Presidente del tribunal
Resolución SL*: un paradigma basado en resolución lineal para la demostración automática 1997Universitat Politècnica de València
Casamayor Ródenas, Juan Carlos
-
Presidente del tribunal
Jugando con el tiempo: semántica de pruebas para álgebras de procesos temporizadas 1996Universidad Complutense de Madrid
-
Presidente del tribunal
Semánticas de pruebas para álgebras de procesos probabilísticos 1996Universidad Complutense de Madrid
-
Presidente del tribunal
Sistema de identificación y explotación de paralelismo en programas lógico-funcionales 1996Universidad Complutense de Madrid
-
Presidente del tribunal
Nonuniform complexity classes with sub-linear advice functions 1996Universidad del País Vasco - Euskal Herriko Unibertsitatea
Hermo Huguet, Montserrat
-
Presidente del tribunal
Selección automática de implementaciones para componentes de software usando un lenguaje multiparadigma para establecer sus aspectos no funcionales 1996Universitat Politècnica de Catalunya (UPC)
Franch, Xavier
-
Vocal del tribunal
Análisis semántico y transformación de programas lógico-funcionales 1996Universitat Politècnica de València
Vidal Oriola, Germán
-
Presidente del tribunal
Procesador paralelo de Prolog sobre una arquitectura de memoria distribuida 1994Universidad Complutense de Madrid
Araujo, Lourdes
-
Presidente del tribunal
Fundamentación de un sistema para la resolución automática de problemas 1994Universidad Autónoma de Madrid
Saiz López, Francisco
-
Vocal del tribunal
Contributions to the study of resource-bounded measure 1994Universitat Politècnica de Catalunya (UPC)
Mayordomo, Elvira
-
Vocal del tribunal
The calculus of refinements: a formal specification model based on inclusions 1994Universitat Politècnica de Catalunya (UPC)
Levy Díaz, Jordi
-
Presidente del tribunal
Csp probabilístico: un modelo probabilístico de procesos concurrentes 1993Universidad Complutense de Madrid
Cuartero Gómez, Fernando
-
Presidente del tribunal
Decidibilidad de problemas sobre Redes de Petri temporizadas 1993Universidad Complutense de Madrid
Valero Ruiz, Valentín
-
Presidente del tribunal
Implementación de especificaciones algebraicas 1993Universidad del País Vasco - Euskal Herriko Unibertsitatea
Sánchez, Ana
-
Vocal del tribunal
L2 II O2 un lenguaje lógico concurrente orientado a objetos 1993Universidad de Málaga
Pimentel Sánchez, Ernesto
-
Presidente del tribunal
Un formalismo para la representación y utilización de información bilingüe en sistemas de traducción automática 1991Universidad Complutense de Madrid
Rodríguez Marín, Pilar
-
Secretario del tribunal
Sobre dos lógicas categóricas: lógica lineal y álgebra con tipos ordenados 1991Universidad Complutense de Madrid
-
Vocal del tribunal
Caracterización no monótona de la inferencia inductiva y su aplicación al aprendizaje basado en similitudes (sbl) 1991Universitat Politècnica de Catalunya (UPC)
Núñez Esquer, Gustavo
-
Vocal del tribunal
Modelado formal de sistemas síncronos 1990Universidad Politécnica de Madrid
AZCORRA SALOÑA, ARTURO
-
Secretario del tribunal
Diseño de una base de conocimientos dinámica y su aplicación en un entorno educativo 1990Universidad Complutense de Madrid
-
Vocal del tribunal
Análisis medio de algoritmos de reducción sobre árboles 1988Universidad Complutense de Madrid
-
Vocal del tribunal
Aspectos cuantitativos y cualitativos finitistas en sumas de potencias 2m-esimas de polinomios 1988Universidad de Cantabria
-
Vocal del tribunal
Especificación algebraica de tipos abstractos de datos no deterministas 1988Universidad del País Vasco - Euskal Herriko Unibertsitatea
Valenciano Llovera, Federico
-
Vocal del tribunal
Propiedades estructurales de las jerarquías de conteo 1988Universitat Politècnica de Catalunya (UPC)
Teran Romero, Jacobo
-
Vocal del tribunal
Contribuciones a la teoría abstracta de modelos 1987Universitat de Barcelona
Casanovas Ruiz-Fornells, Enrique
-
Vocal del tribunal
Gramáticas lógicas: resolución de problemas en lenguaje natural 1987Universidad Politécnica de Madrid
García Serrano, Ana M.
-
Vocal del tribunal
Técnicas de reescritura para especificaciones condicionales 1987Universitat Politècnica de Catalunya (UPC)
Navarro Gómez, María Luisa