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