Supervised theses (4) Theses supervised by group members

2023

  1. Certificates for decision problems in temporal logic using context-based tableaux and sequent calculi

    ABUIN YEPES, ALEX

    Supervised by FRANCISCA LUCIO CARRASCO y MONTSERRAT HERMO HUGUET

2012

  1. Invariant-free deduction systems for temporal logic

    Gaintzarain Ibarmia, José

    Supervised by FRANCISCA LUCIO CARRASCO

2008

  1. A transformational approach to constructive negation in constraint normal logic programming

    Álvez, Javier

    Supervised by FRANCISCA LUCIO CARRASCO

2002

  1. Learnability of some classes within the exact model

    Lavín Puente, Víctor

    Supervised by MONTSERRAT HERMO HUGUET