Sat, 29 Sep 2012 12:38:12 +0000 Initial upload of the formal construction of Universal Turing Machine.
zhang [Sat, 29 Sep 2012 12:38:12 +0000] rev 370
Initial upload of the formal construction of Universal Turing Machine.
Thu, 30 Aug 2012 08:30:57 +0000 small change
urbanc [Thu, 30 Aug 2012 08:30:57 +0000] rev 369
small change
Wed, 29 Aug 2012 13:09:36 +0000 some addition to the MN-paper
urbanc [Wed, 29 Aug 2012 13:09:36 +0000] rev 368
some addition to the MN-paper
Wed, 29 Aug 2012 13:05:46 +0000 for slides
urbanc [Wed, 29 Aug 2012 13:05:46 +0000] rev 367
for slides
Wed, 29 Aug 2012 13:05:25 +0000 added slides for talk at Imperial
urbanc [Wed, 29 Aug 2012 13:05:25 +0000] rev 366
added slides for talk at Imperial
Mon, 13 Aug 2012 12:11:50 +0000 (none)
wu [Mon, 13 Aug 2012 12:11:50 +0000] rev 365
(none)
(0) -300 -100 -30 -10 -6 +6 +10 tip