Sesión Lógica y Computabilidad (II)
Comunicaciones
Diciembre 13 - Aula 11, Pabellón 1
11:00 ~ 11:20 | Una construcción de números absolutamente normales con fracción continua normal Becher, Verónica Autores: Becher, Verónica / Yuhjtman, Sergio |
11:20 ~ 11:40 | Extensi'on eficiente de secuencias De Bruijn Taravilse, Leopoldo Autores: Taravilse, Leopoldo |
11:40 ~ 12:00 | Del azar en base 2 al azar en base 3 Zylber, Ariel Autores: Zylber, Ariel |
Diciembre 14 - Aula 11, Pabellón 1
11:00 ~ 11:20 | Teoría de modelos, teoría de prueba, y aspectos computacionales de lógicas para razonar sobre árboles con datos. Abriola, Sergio Autores: Abriola, Sergio / Figueira, Santiago |
11:20 ~ 11:40 | Axiomatizations for Downward XPath on Data Trees Descotte, Maria Emilia Autores: Abriola, Sergio / Descotte, Maria Emilia / Fervari, Raul / Figueira, Santiago |
11:40 ~ 12:00 | Bisimulation for Justification Logic in Coq Hoffmann, Guillaume Autores: Areces, Carlos / Fervari, Raul / Hoffmann, Guillaume / Ziliani, Beta |
12:00 ~ 12:20 | A computational study of open-definability Campercholi, Miguel Autores: Areces, Carlos / Campercholi, Miguel / Ventura, Pablo |
Diciembre 15 - Aula 11, Pabellón 1
11:00 ~ 11:20 | Orden regresivo en $omega_1$ Sánchez Terraf, Pedro Autores: Peng, Yinhe / Sánchez Terraf, Pedro / Weiss, William |
11:20 ~ 11:40 | Distancia ordinal entre nociones de bisimulación probabilista Moroni, Martín Santiago Autores: Moroni, Martín Santiago / Sánchez Terraf, Pedro |
11:40 ~ 12:00 | A Propositional Davis-Putnam Based Proof Calculus for Reasoning with Default Rules Cassano, Valentin Autores: Cassano, Valentin / Areces, Carlos |