Reading list
Logic, Games and Automata
Logik, spel och automata
Course
LOG290
Second cycle
7.5 credits (ECTS)
About the Reading list
Valid from
Autumn semester 2025 (2025-09-01)
Decision date
2025-05-31
GU 2025/1965
Temporal logics in computer science: finite-state systems Stéphane P. Demri 1967- Valentin Goranko; Martin Lange; Cambridge University Press Cambridge, United Kingdom : Cambridge University Press; 2016