PCC 2007, Proof, Computation, Complexity, International Workshop, Swansea, 13-14 April, 2007

Arnold Beckmann, Ulrich Berger, Birgit Elbl, Reinhard Kahle, Karl-Heinz Niggl, Oliver Kullmann, Monika Seisenberger, Anton Setzer,

URL	http://cs.swan.ac.uk/reports/yr2007/CSR3-2007.pdf
Publisher	University of Wales Swansea
Series	Computer Science Report Series, CSR 3-2007
URL	http://cs.swan.ac.uk/reports/yr2007/CSR3-2007.pdf
Publisher	University of Wales Swansea
Series	Computer Science Report Series, CSR 3-2007

Publication