Tesis dirigidas (4) Tesis que han dirigido los miembros del grupo

2023

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

    ABUIN YEPES, ALEX

    Dirigida por FRANCISCA LUCIO CARRASCO y MONTSERRAT HERMO HUGUET

2012

  1. Invariant-free deduction systems for temporal logic

    Gaintzarain Ibarmia, José

    Dirigida por FRANCISCA LUCIO CARRASCO

2008

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

    Álvez, Javier

    Dirigida por FRANCISCA LUCIO CARRASCO

2002

  1. Learnability of some classes within the exact model

    Lavín Puente, Víctor

    Dirigida por MONTSERRAT HERMO HUGUET