2013-01-17 Christian Urban added abacus
2013-01-16 Christian Urban paper
2013-01-16 Christian Urban updated uncomputable
2013-01-16 Christian Urban added Jian's new version of uncomputable
2013-01-15 Christian Urban updated literature
2013-01-14 Christian Urban added llncs
2013-01-13 Christian Urban some experiments
Loading...
(0) -30 -10 -7 +7 +10 +30 +100 tip