Browse our site
About
People
Research Areas
Projects
Publications
Books
Book chapters
Journal articles
In proceedings
M. Sc. Dissertations
Ph. D. Dissertations
Technical reports
Seminars
News
You are here:
Home
Publications
View
Publication details
Go back
Publication details
Main information
Title:
PCC 2007, Proof, Computation, Complexity, International Workshop, Swansea, 13-14 April, 2007
Publication date:
April 2007
Citation:
Kah07ppc
Abstract:
-
Book edition
Editors:
Arnold Beckmann, Ulrich Berger, Birgit Elbl,
Reinhard Kahle
, Karl-Heinz Niggl, Oliver Kullmann, Monika Seisenberger, Anton Setzer
Volume:
-
Series:
Computer Science Report Series, CSR 3-2007
Publisher:
University of Wales Swansea
Address:
-
ISBN:
-
ISSN:
-
Note:
-
Url address:
http://cs.swan.ac.uk/reports/yr2007/CSR3-2007.pdf
Export formats
Plain text:
Arnold Beckmann and Ulrich Berger and Birgit Elbl and Reinhard Kahle and Karl-Heinz Niggl and Oliver Kullmann and Monika Seisenberger and Anton Setzer (eds), PCC 2007, Proof, Computation, Complexity, International Workshop, Swansea, 13-14 April, 2007 of Computer Science Report Series, CSR 3-2007, University of Wales Swansea, (http://cs.swan.ac.uk/reports/yr2007/CSR3-2007.pdf), April 2007.
HTML:
Arnold Beckmann, Ulrich Berger, Birgit Elbl, <a href="/people/members/view.php?code=2b403db3c66380c011a92d8f7831e542" class="editor">Reinhard Kahle</a>, Karl-Heinz Niggl, Oliver Kullmann, Monika Seisenberger and Anton Setzer (eds), <u>PCC 2007, Proof, Computation, Complexity, International Workshop, Swansea, 13-14 April, 2007</u> of Computer Science Report Series, CSR 3-2007, University of Wales Swansea, (<a href="http://cs.swan.ac.uk/reports/yr2007/CSR3-2007.pdf" target="_blank">url</a>), April 2007.
BibTeX:
@book {Kah07ppc, editor = {Arnold Beckmann and Ulrich Berger and Birgit Elbl and Reinhard Kahle and Karl-Heinz Niggl and Oliver Kullmann and Monika Seisenberger and Anton Setzer}, title = {PCC 2007, Proof, Computation, Complexity, International Workshop, Swansea, 13-14 April, 2007}, series = {Computer Science Report Series, CSR 3-2007}, publisher = {University of Wales Swansea}, url = {http://cs.swan.ac.uk/reports/yr2007/CSR3-2007.pdf}, month = {April}, year = {2007}, }
Publication's urls
Full url:
/publications/view.php?code=3630ae4acec8df4ae92aace19d097025
Friendly url:
/publications/view.php?code=Kah07ppc
Go back
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541