FRANCISCA
LUCIO CARRASCO
Ikertzaileren 1995-2022 tartean
Doktorego-tesia
-
Lógica parcial trivalorada. Aproximaciones de primer orden, de orden superior e intuicionista 1994
Universidad Complutense de Madrid
Zuzendutako tesiak (3)
-
Certificates for decision problems in temporal logic using context-based tableaux and sequent calculi 2023
Universidad del País Vasco - Euskal Herriko Unibertsitatea
ABUIN YEPES, ALEX
-
Invariant-free deduction systems for temporal logic 2012
Universidad del País Vasco - Euskal Herriko Unibertsitatea
-
A transformational approach to constructive negation in constraint normal logic programming 2008
Universidad del País Vasco - Euskal Herriko Unibertsitatea
Tesi epaimahaiak (8)
-
Epaimahaikidea
Extensiones de bases de datos relacionales y deductivas: fundamentos teóricos e implementación 2015Universidad Complutense de Madrid
ARANDA LOPEZ, GABRIEL
-
Epaimahaikidea
Programación declarativa cualificada con restricciones 2011Universidad Complutense de Madrid
ROMERO DIAZ, CARLOS ALBERTO
-
Epaimahaiko Secretario/a
Some contributions to the semantics of normal logic programs 2008Universitat Politècnica de Catalunya (UPC)
Pasarella Sánchez, Ana Edelmira
-
Epaimahaikidea
A type-theoretic approach to proof support for algebraic design frameworks 2001Universitat Politècnica de Catalunya (UPC)
Mylonakis Pascual, Nicos
-
Epaimahaikidea
Métodos de tableaux para lógicas con declaraciones de términos dominios preordenados y operaciones monótonas 2000Universidad Complutense de Madrid
Martín de la Calle, Pedro Jesús
-
Epaimahaikidea
Programación lógico-funcional con tipos paramétricos y géneros ordenados 1999Universidad Complutense de Madrid
Almendros Jiménez, Jesús Manuel
-
Epaimahaikidea
An algebraic study of modularity in logic programming 1999Universitat Politècnica de Catalunya (UPC)
Pino, Elvira
-
Epaimahaiko Secretario/a
Nonuniform complexity classes with sub-linear advice functions 1996Universidad del País Vasco - Euskal Herriko Unibertsitatea