Algebra and Logic
Article
Kahle,R;Oitavem,I
ANNALS OF PURE AND APPLIED LOGIC
Meeting on 3rd Classical Logic and Computation (CLAC)
2013
164
6
663-675
10.1016/j.apal.2012.05.006
Applicative theories for the polynomial hierarchy of time and its levels
NOVA Math > NOVA Math > NOVA Math Publications > Applicative theories for the polynomial hierarchy of time and its levels