Logic and languages - Master 2, 2016/17
Lecture slides
Exercises
Reading material
- W. Thomas,
Languages, automata and logic, Chapter in Handbook of
Formal Languages, Springer
1997.
- Automata, Logics, and Infinite Games (eds. E. Grädel,
W. Thomas, Th. Wilke), Springer 2002. Chapter 1.
- L. Libkin,
Elements
of finite model theory. Springer 2004.
Anca Muscholl