Logics on data words
Expressivity, satisfiability, model checking
Kara, Ahmet ; Schwentick, Thomas ; Bollig, Benedikt 2016 Universitätsbibliothek Dortmund
- Link zu diesem Datensatz
-
https://d-nb.info/1114498041
- Titel
-
Logics on data words : Expressivity, satisfiability, model checking
- Art des Inhalts
- Monographie
- Verfassangaben
- Ahmet Kara ; Gutachter: Benedikt Bollig ; Betreuer: Thomas Schwentick
- Autor(en)
-
- Kara, Ahmet
- Schwentick, Thomas
- Bollig, Benedikt
- Verlag
- Dortmund : Universitätsbibliothek Dortmund [2016]
- Jahr
- Erscheinungsdatum: 2016
- Umfang/Format
- Online-Ressource
- Online
- https://hdl.handle.net/2003/35216
- Sprache
- eng
- Schlagwörter
-
- Stand
- 28.11.2025 18:35
- Im Katalog seit
- 06.03.2026
Beschreibung vom Verlag
