Cargando…

Descriptive set theoretic methods in automata theory: decidability and topological complexity

Detalles Bibliográficos
Autor principal: Skrzypczak, Michał
Lenguaje:eng
Publicado: Springer 2016
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2754503