Doktorego-tesia

  1. Autómatas y álgebra 1978

    Universitat de València

Zuzendutako tesiak (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

Tesi epaimahaiak (3)

  1. Epaimahaikidea

    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. Epaimahaikidea

    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. Epaimahaikidea

    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.