Sun, 03 Feb 2013 12:24:28 +0000 completed undecidability proof
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 03 Feb 2013 12:24:28 +0000] rev 110
completed undecidability proof
Sun, 03 Feb 2013 12:24:00 +0000 updated paper
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 03 Feb 2013 12:24:00 +0000] rev 109
updated paper
(0) -100 -30 -10 -2 +2 +10 +30 +100 tip