Grant holder | Mikołaj Bojańczyk |
Contract no. | 683080 |
Starting date | 2016-05-01 |
Ending date | 2021-10-31 |
Financed by | Uniwersytet Warszawski |
Participants | prof. dr hab. Mikołaj Bojańczyk prof. dr hab. Sławomir Lasota dr hab. Bartosz Klin |
Keywords | automaty skończone, algebry skończone, monady, logika |