LoRea (Logic and Reasoning) - GIU 21/044
Dissertationen geleitet (4) Dissertationen, die von den Mitgliedern der Gruppe geleitet wurden
2023
-
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
-
Invariant-free deduction systems for temporal logic
Gaintzarain Ibarmia, José
unter der Leitung von FRANCISCA LUCIO CARRASCO
2008
-
A transformational approach to constructive negation in constraint normal logic programming
Álvez, Javier
unter der Leitung von FRANCISCA LUCIO CARRASCO
2002
-
Learnability of some classes within the exact model
Lavín Puente, Víctor
unter der Leitung von MONTSERRAT HERMO HUGUET