Nie jesteś zalogowany | Zaloguj się

Kierownik: dr hab. Leszek Kołodziejczyk
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

Hierarchie formuł w słabych arytmetykach i ich rozszerzeniach o kwantyfikatory zliczające