LoRea (Logic and Reasoning) - GIU 21/044
Thèses dirigées (4) Thèses dirigées par des membres du groupe
2023
-
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
-
Invariant-free deduction systems for temporal logic
Gaintzarain Ibarmia, José
Dirigée par FRANCISCA LUCIO CARRASCO
2008
-
A transformational approach to constructive negation in constraint normal logic programming
Álvez, Javier
Dirigée par FRANCISCA LUCIO CARRASCO
2002
-
Learnability of some classes within the exact model
Lavín Puente, Víctor
Dirigée par MONTSERRAT HERMO HUGUET