Thèse de doctorat

  1. Autómatas y álgebra 1978

    Universitat de València

Thèses dirigées (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

Jurys de thèses (3)

  1. Rapporteur du jury

    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. Rapporteur du jury

    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. Rapporteur du jury

    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.