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
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="/people/members/view.php?code=2b403db3c66380c011a92d8f7831e542" 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
/publications/view.php?code=4aee889fe552584ef131298b877f299f
/publications/view.php?code=KahAth08
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