2014-05-22 | Christian Urban |
added a bit more text to the paper and separated a theory about Max | file | diff | annotate |
2014-05-15 | Christian Urban |
simplified the cp_rec proof | file | diff | annotate |
2014-05-06 | Christian Urban |
made some modifications. | file | diff | annotate |
2012-12-22 | Christian Urban |
updated | file | diff | annotate |
2012-12-06 | Christian Urban |
added | file | diff | annotate |