| author | Christian Urban <christian dot urban at kcl dot ac dot uk> |
| Thu, 07 Feb 2013 01:00:55 +0000 | |
| changeset 144 | 07730607b0ca |
| parent 128 | 7dc064e64ab2 |
| child 163 | 67063c5365e1 |
| permissions | -rw-r--r-- |
|
128
7dc064e64ab2
added readme
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
1 |
Formalisation of Turing Machines |
|
7dc064e64ab2
added readme
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
2 |
================================ |
|
7dc064e64ab2
added readme
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
3 |
|
|
7dc064e64ab2
added readme
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
4 |
thys - contains the formalisation |
|
7dc064e64ab2
added readme
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
5 |
Paper - contains the files for the paper |
|
7dc064e64ab2
added readme
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
6 |
|
|
7dc064e64ab2
added readme
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
7 |
|
|
7dc064e64ab2
added readme
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
8 |
Attic - old files |
|
7dc064e64ab2
added readme
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
9 |
Literature - related work |