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