![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | 2023_Palermo/ | 2023-09-12 12:52 | - | |
![]() | Birmingham/ | 2023-12-19 12:06 | - | |
![]() | Cambrdige/ | 2023-12-19 12:06 | - | |
![]() | Highlights_2023/ | 2023-07-24 10:11 | - | |
![]() | LICS_Transducer/ | 2023-12-19 12:06 | - | |
![]() | LICS_combined/ | 2023-06-27 13:58 | - | |
![]() | Lecture_3._Complete_problems/ | 2023-12-19 12:06 | - | |
![]() | Leverhulme_Transducers_1/ | 2023-12-19 12:06 | - | |
![]() | Leverhulme_Transducers_2/ | 2023-12-19 12:06 | - | |
![]() | Logic_Day_2022/ | 2023-12-19 12:06 | - | |
![]() | Multiset_polyregular/ | 2023-12-19 12:06 | - | |
![]() | Phd_Open_Day/ | 2023-12-19 12:06 | - | |
![]() | Polyregular_functions_OWL/ | 2023-12-19 12:06 | - | |
![]() | QuantLA/ | 2023-12-19 12:06 | - | |
![]() | Spotlight_2021/ | 2023-12-19 12:06 | - | |
![]() | Trakhtenbrot/ | 2023-12-19 12:06 | - | |
![]() | ccc_transducer/ | 2023-12-19 12:06 | - | |
![]() | csl_mso_category/ | 2023-12-19 12:06 | - | |
![]() | highlights-fold/ | 2023-12-19 12:06 | - | |
![]() | lics_2023_folding/ | 2023-06-23 17:43 | - | |
![]() | lics_2023_growth/ | 2023-06-23 17:43 | - | |
![]() | logalg_mso_category/ | 2023-11-17 17:24 | - | |
![]() | mso_category/ | 2022-11-07 17:16 | - | |
![]() | paris_subdefinable/ | 2023-11-24 13:26 | - | |
![]() | schwentickfest/ | 2023-12-19 12:06 | - | |
![]() | smp_mso_category/ | 2023-06-23 17:43 | - | |