38 tesis encontradas
José Javier González López - USAL
2023
Alex Abuin Yepes - UPV/EHU
2023
Arguments to believe and beliefs to argue: epistemic logics for argumentation and its dynamics
Antonio Yuste Ginel - UMA
2022
2022
Sandra María López Velasco - USAL
2021
Vicente Costa Bueno - UAB
2021
María José Benítez Caballero - UCA
2019
De la información al conocimiento. Aplicaciones basadas en implicaciones y computación paralela
Fernando Benito Picazo - UMA
2019
2017
Hoare-style Reasoning with Higher-order Control: Continuations and Concurrency
Germán Andrés Delbianco Porta - UPM
2017
Víctor M. Alonso Rorís - UVIGO
2017
2016
Enrique Sarrión Morillo - US
2016
2015
Gabriela Hernández Deciderio - USAL
2015
2015
José Miguel Guerrero Hernández - UCM
2015
Formal methods applied to the analysis of phylogenies: Phylogenetic model checking
José Ignacio Requeno Jarabo - UZ
2014
Logical planning in Temporal Defeasible and Dynamic Epistemic Logics: the case of t-DeLP and LCC
Pere Pardo Ventura - UB
2013
Relational and allegorical semantics for constraint logic programming
Emilio Jesús Gallego Arias - UPM
2012
© 2001-2024 Fundación Dialnet · Todos los derechos reservados