Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Fragments of Language."
Link zu diesem Datensatz | https://d-nb.info/1066239460 |
Art des Inhalts | Hochschulschrift |
Titel | Formal language theory of logic fragments / Alexander Lauser. Betreuer: Volker Diekert |
Person(en) |
Lauser, Alexander (Verfasser) Diekert, Volker (Akademischer Betreuer) |
Verlag | Stuttgart : Universitätsbibliothek der Universität Stuttgart |
Zeitliche Einordnung | Erscheinungsdatum: 2015 |
Umfang/Format | Online-Ressource |
Hochschulschrift | Stuttgart, Universität Stuttgart, Diss., 2014 |
Persistent Identifier | URN: urn:nbn:de:bsz:93-opus-97834 |
URL | http://elib.uni-stuttgart.de/opus/volltexte/2015/9783/ (Verlag) (kostenfrei zugänglich) |
Sprache(n) | Englisch (eng) |
Schlagwörter | Theoretische Informatik ; Automatentheorie ; Entscheidbarkeit |
Sachgruppe(n) | 004 Informatik |
Online-Zugriff | Archivobjekt öffnen |