Nie jesteś zalogowany | Zaloguj się
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