Navegar

Colección

Datos Estadísticas

Lista de

Figueira, Santiago Daniel
30
Theoretical Computer Science
4
"An example of a computable absolutely normal number" (2002) Becher, V.; Figueira, S. Theoretical Computer Science. 270(1-2):947-958
"Turing's unpublished algorithm for normal numbers" (2007) Becher, V.; Figueira, S.; Picchi, R. Theoretical Computer Science. 377(1-3):126-138
"Characterization, definability and separation via saturated models" (2014) Areces, C.; Carreiro, F.; Figueira, S. Theoretical Computer Science. 537(C):72-86
"Linearizing well quasi-orders and bounding the length of bad sequences" (2015) Abriola, S.; Figueira, S.; Senno, G. Theoretical Computer Science. 603:3-22