Die mündlichen Prüfungenim WS 2024/2025 nimmt Prof. Kuske vom 12.03 - 14.03.2025 ab. Bitte beachten Sie zur Terminvergabe die Hinweise.
Um Ihnen ggf. Informationen (Ausfall von Veranstaltungen, Raumänderungen etc.) über diesen Kurs im Wintersemester 2024/25 zukommen lassen zu können, tragen Sie sich bitte im moodle-System ein.
Aufgrund anderer Verpflichtungen von Professor Kuske können die Vorlesungen am 14. und am 28.10. nicht stattfinden.
Achim Blumensath: "Automatic structures: fundamentals" und "Automatic structures: characterisations", Kap. X und XI in "Monadic Second-Order Model Theory", 2023.
Sasha Rubin: "Automatic Structures" in Handbook of Automata Theory II, Seiten 1031-1070, European Mathematical Society Publishing House, Zürich, 2021.
Erich Grädel: "Automatic structures: Twenty years later" in Annual ACM/IEEE Symbopium on Logic in Computer Science, Seiten 21-34, ACM, 2020.
Dietrich Kuske: "Automatic structures" Vorlesungen bei der GAMES Winter School, 2013 (1. Vorlesung, 2. Vorlesung).