Innovating Works

FINTOINF

Financiado
Duración del proyecto: 24 meses Fecha Inicio: 2021-03-16
Fecha Fin: 2023-03-31
Finalizado
Presupuesto del proyecto 197K€

Perfil tecnológico del proyecto Se calculan automáticamente a través de las palabras clave.
Data Science Applied Physics
Mathematics Computer Science Theoretical Computer Science Logic

Palabras clave Extraídas de toda la información encontrada de este proyecto
#Monadic Second Order Logic #Shelah's conjecture #undecidable #Borel sets #descriptive set theory #generalised automata #combinatorial limits