![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | 2023_Palermo/ | 2024-01-08 22:56 | - | |
![]() | 2024_POPL_Multiset/ | 2024-01-19 15:29 | - | |
![]() | Birmingham/ | 2024-01-08 22:56 | - | |
![]() | Cambrdige/ | 2024-01-08 22:56 | - | |
![]() | Highlights_2023/ | 2024-01-08 22:56 | - | |
![]() | LICS_Transducer/ | 2024-01-08 22:56 | - | |
![]() | LICS_combined/ | 2024-01-08 22:56 | - | |
![]() | Lecture_3._Complete_problems/ | 2024-01-08 22:56 | - | |
![]() | Leverhulme_Transducers_1/ | 2024-01-08 22:56 | - | |
![]() | Leverhulme_Transducers_2/ | 2024-01-08 22:56 | - | |
![]() | Logic_Day_2022/ | 2024-01-08 22:56 | - | |
![]() | Multiset_polyregular/ | 2024-01-08 22:56 | - | |
![]() | Phd_Open_Day/ | 2024-01-08 22:56 | - | |
![]() | Polyregular_functions_OWL/ | 2024-01-08 22:56 | - | |
![]() | QuantLA/ | 2024-01-08 22:56 | - | |
![]() | Spotlight_2021/ | 2024-01-08 22:56 | - | |
![]() | Trakhtenbrot/ | 2024-01-08 22:56 | - | |
![]() | ccc_transducer/ | 2024-01-08 22:56 | - | |
![]() | csl_mso_category/ | 2024-01-08 22:56 | - | |
![]() | highlights-fold/ | 2024-01-08 22:56 | - | |
![]() | lics_2023_folding/ | 2024-01-08 22:56 | - | |
![]() | lics_2023_growth/ | 2024-01-08 22:56 | - | |
![]() | logalg_mso_category/ | 2024-01-08 22:56 | - | |
![]() | mso_category/ | 2024-01-08 22:56 | - | |
![]() | paris_subdefinable/ | 2024-01-08 22:56 | - | |
![]() | schwentickfest/ | 2024-01-08 22:56 | - | |
![]() | smp_mso_category/ | 2024-01-08 22:56 | - | |