2011-04-21 |
urbanc |
a few more changes
|
changeset |
files
|
2011-04-19 |
urbanc |
removed experimental code from Matcher
|
changeset |
files
|
2011-04-19 |
urbanc |
implemented most suggestions from the reviewers
|
changeset |
files
|
2011-04-06 |
urbanc |
added literature about parsing
|
changeset |
files
|
2011-03-25 |
urbanc |
MN via partial derivatives
|
changeset |
files
|
2011-03-23 |
urbanc |
moved paper to correct place
|
changeset |
files
|
2011-03-23 |
urbanc |
added paper by Antimirov
|
changeset |
files
|
2011-03-23 |
urbanc |
added the most current versions of the theories.
|
changeset |
files
|
2011-03-15 |
urbanc |
correct version
|
changeset |
files
|
2011-03-15 |
urbanc |
deleted wrong version
|
changeset |
files
|
2011-03-15 |
urbanc |
added chapter about regular expressions by Sakarovitch (interesting pages are 139 - 142)
|
changeset |
files
|
2011-03-15 |
urbanc |
corrected small typo
|
changeset |
files
|
2011-03-05 |
urbanc |
slight polishing of the bibliography
|
changeset |
files
|
2011-03-05 |
urbanc |
formalisation of first direction is now only 780 loc
|
changeset |
files
|
2011-02-26 |
urbanc |
changed one occurence of tagging function into tagging relation
|
changeset |
files
|
2011-02-25 |
urbanc |
added yacc is dead paper
|
changeset |
files
|
2011-02-24 |
urbanc |
added a paper about derivatives
|
changeset |
files
|
2011-02-24 |
urbanc |
added hocroft and ullman book
|
changeset |
files
|
2011-02-22 |
urbanc |
three typos
|
changeset |
files
|
2011-02-21 |
urbanc |
one further polishing
|
changeset |
files
|
2011-02-21 |
urbanc |
final final polishing
|
changeset |
files
|
2011-02-21 |
urbanc |
final polished
|
changeset |
files
|
2011-02-21 |
urbanc |
chunhan's comments
|
changeset |
files
|
2011-02-20 |
urbanc |
minor change
|
changeset |
files
|
2011-02-20 |
urbanc |
comments by Xingyuan
|
changeset |
files
|
2011-02-20 |
urbanc |
chunhan's comments
|
changeset |
files
|
2011-02-20 |
urbanc |
pre-final version
|
changeset |
files
|
2011-02-20 |
urbanc |
minor
|
changeset |
files
|
2011-02-20 |
urbanc |
finished picture
|
changeset |
files
|
2011-02-20 |
urbanc |
seq case finished
|
changeset |
files
|
2011-02-20 |
urbanc |
latest update
|
changeset |
files
|
2011-02-20 |
urbanc |
added pictures for seq-case
|
changeset |
files
|
2011-02-20 |
urbanc |
added definition of string prefix and string subtraction
|
changeset |
files
|
2011-02-20 |
urbanc |
polished everywhere...two cases still missing
|
changeset |
files
|
2011-02-19 |
urbanc |
my latest version (SEQ and STAR still missing)
|
changeset |
files
|
2011-02-19 |
urbanc |
added directory with the small files and numbers of lines
|
changeset |
files
|
2011-02-19 |
urbanc |
ALT case done
|
changeset |
files
|
2011-02-19 |
urbanc |
first two proofs in 2 direction
|
changeset |
files
|
2011-02-19 |
urbanc |
first proof
|
changeset |
files
|
2011-02-19 |
urbanc |
updated second direction
|
changeset |
files
|
2011-02-19 |
urbanc |
included comments by Chunhan
|
changeset |
files
|
2011-02-18 |
urbanc |
added comment from Larry
|
changeset |
files
|
2011-02-18 |
urbanc |
updated bib
|
changeset |
files
|
2011-02-18 |
urbanc |
polished everything
|
changeset |
files
|
2011-02-17 |
urbanc |
more on the conclusion
|
changeset |
files
|
2011-02-17 |
urbanc |
first ideas about conclusion
|
changeset |
files
|
2011-02-17 |
urbanc |
completed first direction
|
changeset |
files
|
2011-02-16 |
urbanc |
minor updated
|
changeset |
files
|
2011-02-16 |
urbanc |
filled details in one place
|
changeset |
files
|
2011-02-15 |
urbanc |
updated paper
|
changeset |
files
|
2011-02-15 |
urbanc |
updated paper
|
changeset |
files
|
2011-02-15 |
urbanc |
updated paper
|
changeset |
files
|
2011-02-15 |
urbanc |
updated paper
|
changeset |
files
|
2011-02-14 |
urbanc |
updated
|
changeset |
files
|
2011-02-14 |
urbanc |
added definition of DERIV and delta
|
changeset |
files
|
2011-02-14 |
urbanc |
updated paper
|
changeset |
files
|
2011-02-14 |
urbanc |
updated
|
changeset |
files
|
2011-02-13 |
zhang |
More into the second direction
|
changeset |
files
|
2011-02-11 |
urbanc |
included comments by Xingyuan
|
changeset |
files
|
2011-02-11 |
urbanc |
slightly streamlined the proof
|
changeset |
files
|