| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2011-02-13 10:36 +0000 | 95625 | 06-jfp-yi.pdf | file | revisions | annotate |
| -rw-r--r-- | 2011-02-13 10:36 +0000 | 82607 | 2005-03-16.DFA_to_RegEx.pdf | file | revisions | annotate |
| -rw-r--r-- | 2011-02-13 10:36 +0000 | 78077 | 2259.0.regsimp.pdf | file | revisions | annotate |
| -rw-r--r-- | 2011-02-13 10:36 +0000 | 328801 | FormalizingAutomata-Constable.pdf | file | revisions | annotate |
| -rw-r--r-- | 2011-02-13 10:36 +0000 | 721520 | RR-0649.pdf | file | revisions | annotate |
| -rwxr-xr-x | 2011-02-13 10:36 +0000 | 59623 | Tom Henzinger.pdf | file | revisions | annotate |
| -rw-r--r-- | 2011-02-13 10:36 +0000 | 91293 | arden-DFA-regexp.pdf | file | revisions | annotate |
| -rw-r--r-- | 2011-02-13 10:36 +0000 | 194988 | ardens-exercise.pdf | file | revisions | annotate |
| -rw-r--r-- | 2011-02-13 10:36 +0000 | 198071 | berghofer.pdf | file | revisions | annotate |
| -rw-r--r-- | 2011-02-13 10:36 +0000 | 127071 | coquand-over5.pdf | file | revisions | annotate |
| -rw-r--r-- | 2011-02-13 10:36 +0000 | 702900 | dfa2reg.pdf | file | revisions | annotate |
| -rw-r--r-- | 2011-02-13 10:36 +0000 | 171383 | enumerating.pdf | file | revisions | annotate |
| -rw-r--r-- | 2011-02-13 10:36 +0000 | 975779 | gallier.pdf | file | revisions | annotate |
| -rw-r--r-- | 2011-02-13 10:36 +0000 | 342938 | gallier2.pdf | file | revisions | annotate |
| -rw-r--r-- | 2011-02-13 10:36 +0000 | 306865 | gallier3.pdf | file | revisions | annotate |
| -rw-r--r-- | 2011-02-13 10:36 +0000 | 486027 | gallier4.pdf | file | revisions | annotate |
| -rw-r--r-- | 2011-02-13 10:36 +0000 | 152924 | nipkow-rexp.pdf | file | revisions | annotate |
| -rw-r--r-- | 2011-02-13 10:36 +0000 | 190075 | nipkow-tphols98.ps | file | revisions | annotate |
| -rw-r--r-- | 2011-02-13 10:36 +0000 | 854871 | p481-brzozowski.pdf | file | revisions | annotate |
| -rw-r--r-- | 2011-02-13 10:36 +0000 | 125873 | parsing-norrish.pdf | file | revisions | annotate |
| -rw-r--r-- | 2011-02-13 10:36 +0000 | 291505 | pfenning.pdf | file | revisions | annotate |
| -rw-r--r-- | 2011-02-13 10:36 +0000 | 167435 | print-harper.pdf | file | revisions | annotate |
| -rw-r--r-- | 2011-02-13 10:36 +0000 | 237499 | reg-exp-partial-derivatives.pdf | file | revisions | annotate |
| -rw-r--r-- | 2011-02-13 10:36 +0000 | 18964991 | rutten.pdf | file | revisions | annotate |
| -rw-r--r-- | 2011-02-13 10:36 +0000 | 572831 | slind.pdf | file | revisions | annotate |