2011-01-31 urbanc a bit more on the paper
2011-01-30 urbanc small typo
2011-01-30 urbanc tuning of the syntax; needs the stmaryrd latex package
2011-01-30 urbanc some tuning of the paper
2011-01-30 urbanc revised proof of Ardens lemma
2011-01-30 zhang Illustration added together with renewed explainations for case STAR.
2011-01-29 zhang Myhill.thy and Myhill_1.thy changed.
2011-01-28 urbanc slightly tuned the main lemma and the finiteness proofs
2011-01-28 wu test
2011-01-28 zhang More improvement
2011-01-27 wu added a recent paper about reg exps and automata
2011-01-27 urbanc added my changes again
2011-01-27 zhang Trying to solve the confict
2011-01-27 zhang a newer version
Loading...
(0) -14 +14 +100 +300 tip