The model-theoretic complexity of automatic linear orders

Dissertation, Technische Universität Ilmenau, 2015

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Huschenbett, Martin (VerfasserIn)
Körperschaft:	Technische Universität Ilmenau (Grad-verleihende Institution)
Weitere Verfasser:	Kuske, Dietrich (AkademischeR BetreuerIn), Lohrey, Markus (BerichterstatterIn), Grädel, Erich (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Ilmenau Universitätsverlag Ilmenau 2016
Schlagworte:	Hochschulschrift > Endlicher Automat > Prädikatenlogik > Ordinalzahl > Lineare Ordnung > Ramsey-Zahl > Theoretische Informatik
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!