2013-02-19 | Christian Urban |
polished some typos in the paper | changeset | files |
2013-02-19 | Christian Urban |
added link and comment to fourth edition of Boolos | changeset | files |
2013-02-19 | Christian Urban |
added clear-definition to paper | changeset | files |
2013-02-19 | Christian Urban |
added newer ROOT file | changeset | files |
2013-02-18 | Christian Urban |
updated exponent program | changeset | files |
2013-02-18 | Christian Urban |
tuned | changeset | files |
2013-02-18 | Christian Urban |
removed unnecessary examples from Abacus.thy | changeset | files |
2013-02-18 | Christian Urban |
added abacus machines | changeset | files |
2013-02-18 | Christian Urban |
tuned | changeset | files |
2013-02-16 | Christian Urban |
added some TM machines | changeset | files |
2013-02-16 | Christian Urban |
added abacus programs | changeset | files |
2013-02-15 | Christian Urban |
added scala file | changeset | files |
2013-02-15 | Jian Xu | remove dead code in Abacus_mopup | changeset | files |
2013-02-15 | Christian Urban |
tuning | changeset | files |
Loading... |