Dissertationen geleitet (4) Dissertationen, die von den Mitgliedern der Gruppe geleitet wurden

2023

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

    ABUIN YEPES, ALEX

    unter der Leitung von FRANCISCA LUCIO CARRASCO y MONTSERRAT HERMO HUGUET

2012

  1. Invariant-free deduction systems for temporal logic

    Gaintzarain Ibarmia, José

    unter der Leitung von FRANCISCA LUCIO CARRASCO

2008

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

    Álvez, Javier

    unter der Leitung von FRANCISCA LUCIO CARRASCO

2002

  1. Learnability of some classes within the exact model

    Lavín Puente, Víctor

    unter der Leitung von MONTSERRAT HERMO HUGUET