tphols-2011/myhill.pdf
author urbanc
Wed, 14 Sep 2011 13:00:44 +0000
changeset 252 8e2c497d699e
parent 116 342983676c8f
child 333 813e7257c7c3
permissions -rw-r--r--
clarified proof about non-regularity

(binary:application/pdf)