2013-02-03 Christian Urban completed undecidability proof
2013-02-03 Christian Urban updated paper
2013-02-01 Christian Urban updated paper
2013-02-01 Christian Urban updated paper
Loading...
(0) -100 -30 -10 -4 +4 +10 +30 +100 tip