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
Towards Reverse Proofs-as-Programs
2008
KahAth08
-
In proceedings
Reinhard Kahle
Arnold Beckmann, Costas Dimitracopoulos, Benedikt Lowe
Logic and Theory of Algorithms, Fourth Conference on Computability in Europe, CiE 2008
-
University of Athens
-
-
224-233
-
-
Local Proceedings
-
Export formats
Reinhard Kahle, Towards Reverse Proofs-as-Programs, in: Arnold Beckmann and Costas Dimitracopoulos and Benedikt Lowe (eds), Logic and Theory of Algorithms, Fourth Conference on Computability in Europe, CiE 2008, University of Athens, Pag. 224-233, Local Proceedings, 2008.
<a href="http://centria.di.fct.unl.pt/people/members/view.php?code=2b403db3c66380c011a92d8f7831e542_amp_cscd=7eb78314c29391ab7d0d3f9735e2fd9d" class="author">Reinhard Kahle</a>, <b>Towards Reverse Proofs-as-Programs</b>, in: Arnold Beckmann, Costas Dimitracopoulos and Benedikt Lowe (eds), <u>Logic and Theory of Algorithms, Fourth Conference on Computability in Europe, CiE 2008</u>, University of Athens, Pag. 224-233, <i>Local Proceedings</i>, 2008.
@inproceedings {KahAth08, author = {Reinhard Kahle}, editor = {Arnold Beckmann and Costas Dimitracopoulos and Benedikt Lowe}, title = {Towards Reverse Proofs-as-Programs}, booktitle = {Logic and Theory of Algorithms, Fourth Conference on Computability in Europe, CiE 2008}, publisher = {University of Athens}, pages = {224-233}, note = {Local Proceedings}, year = {2008}, }
Publication's urls
http://centria.di.fct.unl.pt/publications/view.php?code=4aee889fe552584ef131298b877f299f
http://centria.di.fct.unl.pt/publications/view.php?code=KahAth08
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