Navegar

Colección

Datos Estadísticas

Lista de

Computability and decidability
6
"Decidability of order-based modal logics" (2017) Caicedo, X.; Metcalfe, G.; Rodríguez, R.; Rogger, J. Journal of Computer and System Sciences. 88:53-74
"A finite model property for gödel modal logics" (2013) Caicedo, X.; Metcalfe, G.; Rodríguez, R.; Rogger, J. 20th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2013. 8071 LNCS:226-237
"Turing's normal numbers: Towards randomness" (2012) Becher, V. Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012. 7318 LNCS:35-45
"Ackermannian and primitive-recursive bounds with Dickson's Lemma" (2011) Figueira, D.; Figueira, S.; Schmitz, S.; Schnoebelen, P. 26th Annual IEEE Symposium on Logic in Computer Science, LICS 2011:269-278
"Expressive power and decidability for memory logics" (2008) Areces, C.; Figueira, D.; Figueira, S.; Mera, S. 15th International Workshop on Logic, Language, Information and Computation, WoLLIC 2008. 5110 LNAI:56-68
"Recursion and topology on 2≤ω for possibly infinite computations" (2004) Becher, V.; Grigorieff, S. Theoretical Computer Science. 322(1 SPEC ISS):85-136