Badanie ilościowe w logikach i teorii obliczeń
Instytucja Finansująca / Przyznający:
Tytuł: Badanie ilościowe w logikach i teorii obliczeń
Kierownik: Marek Zaionc
Rozpoczęcie: 2009-09-17
Zakończenie: 2012-03-16
Uczestnicy
| Uczestnik | Rola | Edycja |
|---|---|---|
| Paweł Waszkiewicz | Wykonawca | |
| Mikołaj Pudo | Wykonawca | |
| Katarzyna Grygiel | Wykonawca | |
| Jakub Kozik | Wykonawca |
| Publikacje |
|---|
| Katarzyna Grygiel, Paweł Idziak, Marek Zaionc, How big is BCI fragment of BCK logic, Journal of Logic and Computation vol. 23(3) (2013), 673-691 |
| Rene David, Katarzyna Grygiel, Jakub Kozik, Christophe Raffalli, Guillaume Theyssier, , Asymptotically almost all λ-terms are strongly normalizing, Logical Methods in Computer Science vol. 9 (1:02) (2013), 1-30 |