LoRea (Logic and Reasoning) - GIU 21/044
Zuzendutako tesiak (4) Taldeko kideek zuzendu dituzten tesiak
2023
-
Certificates for decision problems in temporal logic using context-based tableaux and sequent calculi
ABUIN YEPES, ALEX
Tesiaren zuzendaria FRANCISCA LUCIO CARRASCO y MONTSERRAT HERMO HUGUET
2012
-
Invariant-free deduction systems for temporal logic
Gaintzarain Ibarmia, José
Tesiaren zuzendaria FRANCISCA LUCIO CARRASCO
2008
-
A transformational approach to constructive negation in constraint normal logic programming
Álvez, Javier
Tesiaren zuzendaria FRANCISCA LUCIO CARRASCO
2002
-
Learnability of some classes within the exact model
Lavín Puente, Víctor
Tesiaren zuzendaria MONTSERRAT HERMO HUGUET