2011-08-03 | urbanc | cleaned up the proofs in Myhill_2 | file | diff | annotate |
2011-08-02 | urbanc | a version of the proof which dispenses with the notion of string-subtraction | file | diff | annotate |
2011-07-31 | urbanc | some experiments with the proofs in Myhill_2 | file | diff | annotate |
2011-07-28 | urbanc | added a picture | file | diff | annotate |
2011-07-28 | urbanc | small improvements | file | diff | annotate |
2011-07-28 | urbanc | added more examles | file | diff | annotate |
2011-07-28 | urbanc | more one the paper | file | diff | annotate |
2011-07-27 | urbanc | latest version of the journal paper | file | diff | annotate |