ICC 25427
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION
Unidad Ejecutora - UE
congresos y reuniones científicas
Título:
Normal Numbers, Logic and Automata
Autor/es:
BECHER, VERÓNICA
Lugar:
Estocolmo
Reunión:
Conferencia; Logic Colloquim; 2017
Institución organizadora:
University Stockholm
Resumen:
In this talk I highlight the results normal numbers that have been proved using tools from Logic and from Automata Theory.
