Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=978591186
Link zu diesem Datensatz | https://d-nb.info/978591186 |
Art des Inhalts | Hochschulschrift |
Titel | On games and logics over dynamically changing structures / vorgelegt von Philipp Rohde |
Person(en) | Rohde, Philipp (Verfasser) |
Zeitliche Einordnung | Erscheinungsdatum: 2005 |
Umfang/Format | Online-Ressource, ca. 1,8 MB |
Andere Ausgabe(n) | Erscheint auch als Druck-Ausgabe: Rohde, Philipp: On games and logics over dynamically changing structures |
Hochschulschrift | Aachen, Techn. Hochsch., Diss., 2005 |
Persistent Identifier | URN: urn:nbn:de:hbz:82-opus-13802 |
URL |
http://darwin.bth.rwth-aachen.de/opus/volltexte/2006/1380/pdf/Rohde_Philipp.pdf (Verlag) (kostenfrei zugänglich) http://darwin.bth.rwth-aachen.de/opus/volltexte/2006/1380/index.html (Verlag) |
Sprache(n) | Englisch (eng) |
Schlagwörter | Erfüllbarkeitsproblem ; Dynamische Logik ; Modallogik ; Model checking ; My-Kalkül |
DDC-Notation | 511.31 [DDC22ger] |
Sachgruppe(n) | 510 Mathematik ; 004 Informatik |
Online-Zugriff | Archivobjekt öffnen |