Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Dienstag, 18. Februar bis Montag, 24. Februar 2025, 11:00 Uhr: Die Deutsche Nationalbibliothek in Leipzig ist geschlossen. Die Inbetriebnahme der Medienausleihe und der angrenzenden Lesesäle erfordert diese Schließzeit.
 
Neuigkeiten Die Deutsche Nationalbibliothek in Frankfurt bleibt vom 10.03. bis 22.03.2025 wegen Umbauarbeiten geschlossen.
 
 

Ergebnis der Suche nach: idn=1096221039



Treffer 1 von 1 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1096221039
Art des Inhalts Hochschulschrift
Titel The model-theoretic complexity of automatic linear orders / Martin Huschenbett. Betreuer: Dietrich Kuske. Gutachter: Markus Lohrey ; Erich Grädel
Person(en) Huschenbett, Martin (Verfasser)
Kuske, Dietrich (Akademischer Betreuer)
Lohrey, Markus (Akademischer Betreuer)
Grädel, Erich (Akademischer Betreuer)
Verlag Ilmenau : Universitätsbibliothek Ilmenau
Zeitliche Einordnung Erscheinungsdatum: 2016
Umfang/Format Online-Ressource
Hochschulschrift Ilmenau, Technische Universität Ilmenau, Diss., 2015
Persistent Identifier URN: urn:nbn:de:gbv:ilm1-2015000505
URL http://www.db-thueringen.de/servlets/DocumentServlet?id=26907 (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Schlagwörter Endlicher Automat ; Prädikatenlogik ; Ordinalzahl ; Lineare Ordnung ; Ramsey-Zahl
DDC-Notation 004.015113 [DDC22ger]
Sachgruppe(n) 004 Informatik ; 510 Mathematik

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration