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

Publication details

Publication details
Main information
An applicative theory for FPH
2011
KO11
-
In proceedings
Reinhard Kahle, Isabel Oitavem
Steffen van Bakel, Stefano Berardi, Ulrich Berger
Classical Logic and Computation 2010
Electronic Proceedings in Theoretical Computer Science
-
-
47
44-56
-
-
-
-
Export formats
Reinhard Kahle and Isabel Oitavem, An applicative theory for FPH, in: Steffen van Bakel and Stefano Berardi and Ulrich Berger (eds), Classical Logic and Computation 2010, Electronic Proceedings in Theoretical Computer Science, Vol. 47, Pag. 44-56, 2011.
<a href="http://centria.di.fct.unl.pt/people/members/view.php?code=2b403db3c66380c011a92d8f7831e542_amp_cscd=b9db3b57740e6ed705c94059f74bd179" class="author">Reinhard Kahle</a> and Isabel Oitavem, <b>An applicative theory for FPH</b>, in: Steffen van Bakel, Stefano Berardi and Ulrich Berger (eds), <u>Classical Logic and Computation 2010</u>, Electronic Proceedings in Theoretical Computer Science, Vol. 47, Pag. 44-56, 2011.
@inproceedings {KO11, author = {Reinhard Kahle and Isabel Oitavem}, editor = {Steffen van Bakel and Stefano Berardi and Ulrich Berger}, title = {An applicative theory for FPH}, booktitle = {Classical Logic and Computation 2010}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {47}, pages = {44-56}, year = {2011}, }
Publication's urls
http://centria.di.fct.unl.pt/publications/view.php?code=1b6f7aa0e31a77000c3a071c504605af
http://centria.di.fct.unl.pt/publications/view.php?code=KO11
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

POS_Conhecimento