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