Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Go back
Publication details
Main information
Applicative theories for the polynomial hierarchy of time and its levels
2013
Kahle_R:2013
-
Journal
Reinhard Kahle, Isabel Oitavem
ANNALS OF PURE AND APPLIED LOGIC
-
-
164
-
663-675
-
-
-
-
Export formats
Reinhard Kahle and Isabel Oitavem, Applicative theories for the polynomial hierarchy of time and its levels, ANNALS OF PURE AND APPLIED LOGIC, Vol. 164, Pag. 663-675, 2013.
<b><a href="/people/members/view.php?code=2b403db3c66380c011a92d8f7831e542" class="author">Reinhard Kahle</a> and Isabel Oitavem</b>, <u>Applicative theories for the polynomial hierarchy of time and its levels</u>, ANNALS OF PURE AND APPLIED LOGIC, Vol. 164, Pag. 663-675, 2013.
@article {Kahle_R:2013, author = {Reinhard Kahle and Isabel Oitavem}, title = {Applicative theories for the polynomial hierarchy of time and its levels}, journal = {ANNALS OF PURE AND APPLIED LOGIC}, volume = {164}, pages = {663-675}, year = {2013}, }
Publication's urls
/publications/view.php?code=92e1087d8928f89023808feb872f3410
/publications/view.php?code=Kahle_R:2013
Go back
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT