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
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

Zusatz-Informationen