| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 1052520 | Karp-automata.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 564323 | Klenex-paper.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 528 | LINKS | file | revisions | annotate |
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 167669 | LangSec-2014-fsm-parsers.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 182709 | PhdUpgradeReport.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 381089 | RegEx-CrashCourse.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 205012 | alternative-posix-conf.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 366261 | alternative-posix.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 1978418 | antimirov1996.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 291880 | automata-explosion-gpu.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 3389320 | automata-explosion-survey.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 1759294 | automata-explosion2.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 685630 | automata-notes.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 446723 | backref-automata.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 200315 | backref-automata2.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 111675 | backref-komandansky.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 426733 | backref-singlecharacter.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 1637480 | berrysethi.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 748881 | better-parse-derivs.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 326261 | catastrophic-backtracking.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 287850 | ext-partial-ders.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 467910 | ext-partial-ders2.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 893606 | ext-partial-ders3-phd.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 165142 | frisch-cardelli.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 2233085 | grathwohl2015thesis.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 456912 | henglein2011b-bitstrings.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 160414 | kraus-nipkow-rexp.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 439867 | ktl16regexp-agda.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 329739 | lexing-via-extended-regex.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 190075 | nipkow-lexing.ps | file | revisions | annotate |
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 298978 | pattern-match.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 567452 | pfenning-dfa16.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 2030862 | rasmussen2017-0-thesis.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 273949 | regex-low-lewel-code-verify.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 334202 | regex-semantics.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 219107 | rex-benchmark-TR.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 343076 | size-derivatives.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 54961109 | spineless-tagless-gmachine.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 248745 | stal-extended.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 79718 | string-derivative.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 216769 | sulzmann-ambiguity.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 329739 | sulzmann-lexing-automata-part-der.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 274365 | sulzmann14-new.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 266136 | sulzmann14.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 398324 | tal-toplas.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-08-27 00:03 +0300 | 368904 | type-pattern-match.pdf | file | revisions | annotate |