GALE
Financiado
Presupuesto del proyecto
932K€
Perfil tecnológico del proyecto
Se calculan automáticamente a través de las palabras clave.
Software
Applied Physics
Artificial Intelligence Data Science Mathematics Computer Science
Artificial Intelligence Data Science Mathematics Computer Science
Palabras clave
Extraídas de toda la información encontrada de este proyecto
#decidability
#monadic second-order logic
#Büchi
#Rabin
#infinite words
#trees
#set cardinality
#topological capabilities
Lider