Cargando…

Small dynamic complexity classes: an investigation into dynamic descriptive complexity

Detalles Bibliográficos
Autor principal: Zeume, Thomas
Lenguaje:eng
Publicado: Springer 2017
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2757567
_version_ 1780969964847497216
author Zeume, Thomas
author_facet Zeume, Thomas
author_sort Zeume, Thomas
collection CERN
id cern-2757567
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2017
publisher Springer
record_format invenio
spelling cern-27575672021-04-21T16:41:10Zhttp://cds.cern.ch/record/2757567engZeume, ThomasSmall dynamic complexity classes: an investigation into dynamic descriptive complexityXXSpringeroai:cds.cern.ch:27575672017
spellingShingle XX
Zeume, Thomas
Small dynamic complexity classes: an investigation into dynamic descriptive complexity
title Small dynamic complexity classes: an investigation into dynamic descriptive complexity
title_full Small dynamic complexity classes: an investigation into dynamic descriptive complexity
title_fullStr Small dynamic complexity classes: an investigation into dynamic descriptive complexity
title_full_unstemmed Small dynamic complexity classes: an investigation into dynamic descriptive complexity
title_short Small dynamic complexity classes: an investigation into dynamic descriptive complexity
title_sort small dynamic complexity classes: an investigation into dynamic descriptive complexity
topic XX
url http://cds.cern.ch/record/2757567
work_keys_str_mv AT zeumethomas smalldynamiccomplexityclassesaninvestigationintodynamicdescriptivecomplexity