regexp: Graph

Mercurial Mercurial > hg > regexp / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | help
less more | (0) -100 -50 -30 +30 +50 +100 tip

a few more literature places
2011-05-26, by urbanc
added directory for journal version; took uptodate version of the theory files
2011-05-18, by urbanc
preparation for final paper version
2011-05-12, by urbanc
added comments from Chunhan
2011-05-09, by urbanc
edits; sqeezed to 16 pages
2011-05-04, by urbanc
paper about formalising parsing; seems to have done what we would like to do....probably also appears at ITP'11
2011-04-28, by urbanc
a small change
2011-04-21, by urbanc
a few more changes
2011-04-21, by urbanc
removed experimental code from Matcher
2011-04-19, by urbanc
implemented most suggestions from the reviewers
2011-04-19, by urbanc
added literature about parsing
2011-04-06, by urbanc
MN via partial derivatives
2011-03-25, by urbanc
moved paper to correct place
2011-03-23, by urbanc
added paper by Antimirov
2011-03-23, by urbanc
added the most current versions of the theories.
2011-03-23, by urbanc
correct version
2011-03-15, by urbanc
deleted wrong version
2011-03-15, by urbanc
added chapter about regular expressions by Sakarovitch (interesting pages are 139 - 142)
2011-03-15, by urbanc
corrected small typo
2011-03-15, by urbanc
slight polishing of the bibliography
2011-03-05, by urbanc
formalisation of first direction is now only 780 loc
2011-03-05, by urbanc
changed one occurence of tagging function into tagging relation
2011-02-26, by urbanc
added yacc is dead paper
2011-02-25, by urbanc
added a paper about derivatives
2011-02-24, by urbanc
added hocroft and ullman book
2011-02-24, by urbanc
three typos
2011-02-22, by urbanc
one further polishing
2011-02-21, by urbanc
final final polishing
2011-02-21, by urbanc
final polished
2011-02-21, by urbanc
chunhan's comments
2011-02-21, by urbanc

less more | (0) -100 -50 -30 +30 +50 +100 tip

regexp