FRANCISCA
LUCIO CARRASCO
Researcher in the period 1995-2022
Thesis
-
Lógica parcial trivalorada. Aproximaciones de primer orden, de orden superior e intuicionista 1994
Universidad Complutense de Madrid
Supervised Theses (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
Theses Committees (8)
-
Committee Member
Extensiones de bases de datos relacionales y deductivas: fundamentos teóricos e implementación 2015Universidad Complutense de Madrid
ARANDA LOPEZ, GABRIEL
-
Committee Member
Programación declarativa cualificada con restricciones 2011Universidad Complutense de Madrid
ROMERO DIAZ, CARLOS ALBERTO
-
Secretary of the Committee
Some contributions to the semantics of normal logic programs 2008Universitat Politècnica de Catalunya (UPC)
Pasarella Sánchez, Ana Edelmira
-
Committee Member
A type-theoretic approach to proof support for algebraic design frameworks 2001Universitat Politècnica de Catalunya (UPC)
Mylonakis Pascual, Nicos
-
Committee Member
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
-
Committee Member
Programación lógico-funcional con tipos paramétricos y géneros ordenados 1999Universidad Complutense de Madrid
Almendros Jiménez, Jesús Manuel
-
Committee Member
An algebraic study of modularity in logic programming 1999Universitat Politècnica de Catalunya (UPC)
Pino, Elvira
-
Secretary of the Committee
Nonuniform complexity classes with sub-linear advice functions 1996Universidad del País Vasco - Euskal Herriko Unibertsitatea