Tesis dirigidas (2) 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