Thu, 15 May 2014 16:02:44 +0100 | Christian Urban |
simplified the cp_rec proof | changeset | files |
Tue, 06 May 2014 14:36:40 +0100 | Christian Urban |
made some modifications. | changeset | files |
Wed, 12 Mar 2014 10:08:20 +0000 | Christian Urban |
added paper | changeset | files |