![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | Lecture_1__Introduction_to_logic_and_automata/ | 2024-10-17 05:16 | - | |
![]() | Lecture_2__Monadic_second_order_logic_on_finite_words/ | 2024-10-17 05:16 | - | |
![]() | Lecture_4__Determinization_of___automata/ | 2024-10-17 05:16 | - | |
![]() | Lecture_5__Games/ | 2024-10-17 05:16 | - | |
![]() | Lecture_6__The_Rabin_Theorem/ | 2024-10-17 05:16 | - | |