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
An applicative theory for PH
2010
KO10
-
In proceedings
Reinhard Kahle, Isabel Oitavem
Steffen van Bakel, Stefano Berardi, Ulrich Berger
Classical Logic and Computation 2010
-
Federated MFCS & CSL Conference, Brno
-
-
51-67
-
-
-
-
Export formats
Reinhard Kahle and Isabel Oitavem, An applicative theory for PH, in: Steffen van Bakel and Stefano Berardi and Ulrich Berger (eds), Classical Logic and Computation 2010, Federated MFCS _amp_ CSL Conference, Brno, Pag. 51-67, 2010.
<a href="/people/members/view.php?code=2b403db3c66380c011a92d8f7831e542" class="author">Reinhard Kahle</a> and Isabel Oitavem, <b>An applicative theory for PH</b>, in: Steffen van Bakel, Stefano Berardi and Ulrich Berger (eds), <u>Classical Logic and Computation 2010</u>, Federated MFCS _amp_ CSL Conference, Brno, Pag. 51-67, 2010.
@inproceedings {KO10, author = {Reinhard Kahle and Isabel Oitavem}, editor = {Steffen van Bakel and Stefano Berardi and Ulrich Berger}, title = {An applicative theory for PH}, booktitle = {Classical Logic and Computation 2010}, publisher = {Federated MFCS _amp_ CSL Conference, Brno}, pages = {51-67}, year = {2010}, }
Publication's urls
/publications/view.php?code=e7668444c497940c770df4da7ea8fbb6
/publications/view.php?code=KO10
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