Thèses dirigées (4) Thèses dirigées par des membres du groupe

2023

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

    ABUIN YEPES, ALEX

    Dirigée par FRANCISCA LUCIO CARRASCO y MONTSERRAT HERMO HUGUET

2012

  1. Invariant-free deduction systems for temporal logic

    Gaintzarain Ibarmia, José

    Dirigée par FRANCISCA LUCIO CARRASCO

2002

  1. Learnability of some classes within the exact model

    Lavín Puente, Víctor

    Dirigée par MONTSERRAT HERMO HUGUET