Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=511*
Treffer 6 von 301
|
|
| Link zu diesem Datensatz | https://d-nb.info/1156182247 |
| Art des Inhalts | Hochschulschrift |
| Titel | Parity games, separations, and the modal μ-calculus / Christoph Dittmann ; Gutachter: Stephan Kreutzer, Erich Grädel, Uwe Nestmann |
| Person(en) |
Dittmann, Christoph (Verfasser) Kreutzer, Stephan (Gutachter) Grädel, Erich (Gutachter) Nestmann, Uwe (Gutachter) |
| Organisation(en) | Technische Universität Berlin. Universitätsbibliothek (Verlag) |
| Verlag | Berlin : Universitätsverlag der TU Berlin |
| Zeitliche Einordnung | Erscheinungsdatum: 2017 |
| Umfang/Format | Online-Ressource |
| Andere Ausgabe(n) |
Erscheint auch als: ISBN: 978-3-7983-2888-4 Erscheint auch als Druck-Ausgabe: Dittmann, Christoph: Parity games, separations, and the modal μ-calculus |
| Hochschulschrift | Dissertation, Berlin, Technische Universität Berlin, 2017 |
| Persistent Identifier |
URN: urn:nbn:de:101:1-201804163584 DOI: 10.14279/depositonce-5700 Handle: 11303/6135 |
| URL | (kostenfrei zugänglich) |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Foundations of computing ; 9 |
| Schlagwörter | My-Kalkül ; Paritätsspiel |
| DDC-Notation | 511.3 [DDC22ger] |
| Sachgruppe(n) | 510 Mathematik ; 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 6 von 301
Administration
