2013-01-18 Christian Urban shortening a bit the paper and updating various things
2013-01-18 Christian Urban updated to ITP and updated directories
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
2013-01-13 Christian Urban updated test
2013-01-13 Christian Urban added test about hoare triples
2013-01-13 Christian Urban updated contribution section
2013-01-12 Christian Urban added new version of uncomputable
2013-01-12 Christian Urban updated
2013-01-12 Christian Urban removed second definition of tshift in abacus.
2013-01-12 Christian Urban updated
2013-01-11 Christian Urban update
2013-01-11 Christian Urban update
2013-01-11 Christian Urban update
2013-01-11 Christian Urban update
2013-01-10 Christian Urban update
2013-01-10 Christian Urban update
2013-01-10 Christian Urban update
2013-01-10 Christian Urban update
2013-01-10 Christian Urban update
2013-01-10 Christian Urban update
2013-01-10 Christian Urban update
2013-01-10 Christian Urban update
Loading...
(0) -28 +28 +50 +100 tip