Thesis

  1. Una lógica no estándar admisible para programas funcionales 1990

    Universidad Complutense de Madrid

Supervised Theses (1)

  1. Programación lógico-funcional con tipos paramétricos y géneros ordenados 1999

    Universidad Complutense de Madrid

    Jesús Manuel Almendros Jiménez

Theses Committees (1)

  1. Secretary of the Committee

    Programación funcional y lógica con restricciones 1994

    Universidad Complutense de Madrid

    Francisco Javier López Fraguas