Tesis doctoral

  1. Autómatas y álgebra 1978

    Universitat de València

Tesis dirigidas (2)

  1. Comprensiones categoriales y subrecursión 2012

    Universitat de València

    Díaz Boïls, Joaquín

  2. Representación del conocimiento jurídico en programación lógica y su aplicación a la toma de decisión en el derecho penal 2007

    Universitat de València

    Sanchez Soria, Angel Rafael

Tribunales de tesis (3)

  1. Vocal del tribunal

    Hacia una concepción generalizada de la abducción, su modelización en lógicas no clásicas y su implementación en herramientas informáticas 2016

    Universidad de Sevilla

    Sarrión Morillo, Enrique

  2. Vocal del tribunal

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

    Universitat de València

    Martínez Fernández, José Javier

  3. Vocal del tribunal

    Sistemas de planificación en dominios de múltiples agentes: un marco formal para la coordinación de planes. 1997

    Universidad del País Vasco - Euskal Herriko Unibertsitatea

    ARRANZ MARTIN MARCO A.