Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=0*
Treffer 197 von 3252
|
|
| Link zu diesem Datensatz | https://d-nb.info/1240627793 |
| Art des Inhalts | Hochschulschrift |
| Titel | The Expressive Power, Satisfiability and Path Checking Problems of MTL and TPTL over Non-Monotonic Data Words / Shiguang Feng ; Gutachter: Markus Lohrey, Manfred Droste, Martin Lange ; Markus Lohrey, Manfred Droste |
| Person(en) |
Feng, Shiguang (Verfasser) Lohrey, Markus (Akademischer Betreuer) Lohrey, Markus (Gutachter) Droste, Manfred (Akademischer Betreuer) Droste, Manfred (Gutachter) Lange, Martin (Gutachter) |
| Verlag | Leipzig : Universitätsbibliothek Leipzig |
| Zeitliche Einordnung | Erscheinungsdatum: 2016 |
| Umfang/Format | Online-Ressource |
| Andere Ausgabe(n) | Erscheint auch als Druck-Ausgabe: Feng, Shiguang: The expressive power, satisfiability and path checking problems of MTL and TPTL over non-monotonic data words |
| Hochschulschrift | Dissertation, Leipzig, Universität Leipzig, 2016 |
| Persistent Identifier | URN: urn:nbn:de:bsz:15-qucosa-208823 |
| URL | (kostenfrei zugänglich) |
| Sprache(n) | Englisch (eng) |
| DDC-Notation | 004.015113 [DDC22ger] |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 197 von 3252
Administration
