Powrót do listy grantów
Hierarchie formuł w słabych arytmetykach i ich rozszerzeniach o kwantyfikatory zliczające
- Kierownik
- dr hab. Leszek Kołodziejczyk, prof. UW
- Numer umowy
- N N201 382234
- Data rozpoczęcia
- 13 maja 2008
- Data zakończenia
- 12 maja 2011
- Finansowany przez
- Ministerstwo Nauki i Szkolnictwa Wyższego
- Słowa kluczowe
- arytmetyki ograniczone, formuły ograniczone, formuły \Sigma_1 klasy złożoności obliczeniowej, hierarchia czasu wielomianowego, hierarchia czasu liniowego, kwantyfikatory zliczające