![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | Mealy machines/ | 2024-02-28 14:01 | - | |
![]() | Rational_functions/ | 2024-03-04 16:47 | - | |
![]() | Enter_logic/ | 2024-03-13 17:28 | - | |
![]() | Two_way_automata/ | 2024-03-15 17:37 | - | |
![]() | MSO_transductions/ | 2024-03-22 17:15 | - | |
![]() | Streaming_String_Transducers/ | 2024-04-08 14:08 | - | |
![]() | List_functions_and_Krohn_Rhodes/ | 2024-04-12 17:48 | - | |
![]() | List_functions_and_Krohn_Rhodes2/ | 2024-04-15 14:10 | - | |
![]() | polyregular_functions/ | 2024-04-25 15:25 | - | |
![]() | pebble_transducers/ | 2024-04-30 14:29 | - | |
![]() | Interpretations/ | 2024-05-22 08:29 | - | |
![]() | Lambda_calculus/ | 2024-05-22 08:29 | - | |
![]() | Interpretations_2/ | 2024-05-24 08:31 | - | |
![]() | Interpretations_3/ | 2024-06-11 10:21 | - | |