Lista de

Becher, Verónica Andrea
25
2015
4
"Wadge hardness in Scott spaces and its effectivization" (2015) Becher, V.; Grigorieff, S. Mathematical Structures in Computer Science. 25(7):1520-1545
"Normality and automata" (2015) Becher, V.; Carton, O.; Heiber, P.A. Journal of Computer and System Sciences. 81(8):1592-1613
"Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization" (2015) Becher, V.; Grigorieff, S. Mathematical Structures in Computer Science. 25(7):1490-1519
"A computable absolutely normal Liouville number" (2015) Becher, V.; Heiber, P.A.; Slaman, T.A. Mathematics of Computation. 84(296):2939-2952