Treffer: The model-theoretic complexity of automatic linear orders

Titel:
The model-theoretic complexity of automatic linear orders / Martin Huschenbett. Betreuer: Dietrich Kuske. Gutachter: Markus Lohrey ; Erich Grädel
Beteiligt:
Huschenbett, Martin (Verfasser); Kuske, Dietrich (Akademischer Betreuer) ; Lohrey, Markus (Akademischer Betreuer) ; Grädel, Erich (Akademischer Betreuer) 
Veröffent­licht:
Ilmenau : Universitätsbibliothek Ilmenau, 2016
Umfang:
1 Online-Ressource
Format:
E-Book
Sprache:
Englisch
Hochschul­schrift:
Dissertation, Technische Universität Ilmenau, 2015
Schlagworte:

Zusatz-Informationen

Zusatz-Funktionen