Sun, 27 Jan 2013 14:57:54 +0000 |
Christian Urban |
updated uncomputable
|
changeset |
files
|
Sun, 27 Jan 2013 00:09:17 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
Sat, 26 Jan 2013 21:46:12 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
Sat, 26 Jan 2013 12:00:21 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
Sat, 26 Jan 2013 11:50:40 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
Sat, 26 Jan 2013 01:36:48 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
Fri, 25 Jan 2013 22:12:01 +0000 |
Christian Urban |
simplified uncomputable-locale
|
changeset |
files
|
Fri, 25 Jan 2013 22:03:03 +0000 |
Christian Urban |
simplified uncomputable-locale
|
changeset |
files
|
Fri, 25 Jan 2013 21:15:09 +0000 |
Christian Urban |
updated paper
|
changeset |
files
|
Fri, 25 Jan 2013 15:57:58 +0100 |
Christian Urban |
updated
|
changeset |
files
|
Thu, 24 Jan 2013 18:59:49 +0100 |
Christian Urban |
updated paper
|
changeset |
files
|
Thu, 24 Jan 2013 17:40:04 +0100 |
Christian Urban |
updated paper
|
changeset |
files
|
Thu, 24 Jan 2013 17:15:42 +0100 |
Christian Urban |
updated paper
|
changeset |
files
|
Thu, 24 Jan 2013 17:14:39 +0100 |
Christian Urban |
updated paper
|
changeset |
files
|
Thu, 24 Jan 2013 15:04:11 +0100 |
Christian Urban |
updated
|
changeset |
files
|
Thu, 24 Jan 2013 12:01:44 +0100 |
Christian Urban |
added literature
|
changeset |
files
|
Thu, 24 Jan 2013 11:38:07 +0100 |
Christian Urban |
updated paper
|
changeset |
files
|
Thu, 24 Jan 2013 10:53:43 +0100 |
Christian Urban |
updated paper
|
changeset |
files
|
Thu, 24 Jan 2013 00:20:26 +0100 |
Christian Urban |
updated
|
changeset |
files
|
Wed, 23 Jan 2013 20:18:40 +0100 |
Christian Urban |
updated
|
changeset |
files
|
Wed, 23 Jan 2013 17:02:23 +0100 |
Christian Urban |
tuned
|
changeset |
files
|
Wed, 23 Jan 2013 15:57:35 +0100 |
Christian Urban |
tuned
|
changeset |
files
|
Wed, 23 Jan 2013 15:42:47 +0100 |
Christian Urban |
using some abbreviations
|
changeset |
files
|
Wed, 23 Jan 2013 15:33:26 +0100 |
Christian Urban |
tuned more
|
changeset |
files
|
Wed, 23 Jan 2013 15:06:32 +0100 |
Christian Urban |
also polished uh_h proof
|
changeset |
files
|
Wed, 23 Jan 2013 12:25:24 +0100 |
Christian Urban |
updated h_uh proof in uncomputable
|
changeset |
files
|
Wed, 23 Jan 2013 08:01:35 +0100 |
Christian Urban |
small updates
|
changeset |
files
|
Tue, 22 Jan 2013 14:46:02 +0000 |
Christian Urban |
updated
|
changeset |
files
|
Tue, 22 Jan 2013 14:38:56 +0000 |
Christian Urban |
updated files
|
changeset |
files
|
Sun, 20 Jan 2013 16:01:16 +0000 |
Christian Urban |
new version of abacus
|
changeset |
files
|