| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2013-10-02 13:17 +0100 | 95625 | 06-jfp-yi.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-10-02 13:17 +0100 | 82607 | 2005-03-16.DFA_to_RegEx.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-10-02 13:17 +0100 | 232914 | 2010_JALC_Brzozowski.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-10-02 13:17 +0100 | 78077 | 2259.0.regsimp.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-10-02 13:17 +0100 | 1474958 | Berstel-Boasson-Algebraic-Theory-1996.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-10-02 13:17 +0100 | 328801 | FormalizingAutomata-Constable.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-10-02 13:17 +0100 | 311393 | How expressions can code for automata.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-10-02 13:17 +0100 | 243882 | On the number of broken derived terms of a rational expression.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-10-02 13:17 +0100 | 721520 | RR-0649.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-10-02 13:17 +0100 | 5218 | Slind | file | revisions | annotate |
| -rwxr-xr-x | 2013-10-02 13:17 +0100 | 59623 | Tom Henzinger.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-10-02 13:17 +0100 | 91293 | arden-DFA-regexp.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-10-02 13:17 +0100 | 194988 | ardens-exercise.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-10-02 13:17 +0100 | 198071 | berghofer.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-10-02 13:17 +0100 | 127071 | coquand-over5.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-10-02 13:17 +0100 | 254379 | coquand-siles.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-10-02 13:17 +0100 | 115699 | derivative-tr200910.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-10-02 13:17 +0100 | 702900 | dfa2reg.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-10-02 13:17 +0100 | 171383 | enumerating.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-10-02 13:17 +0100 | 975779 | gallier.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-10-02 13:17 +0100 | 342938 | gallier2.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-10-02 13:17 +0100 | 306865 | gallier3.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-10-02 13:17 +0100 | 486027 | gallier4.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-10-02 13:17 +0100 | 12612370 | hu69.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-10-02 13:17 +0100 | 169413 | mirkin-partial-derivatives.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-10-02 13:17 +0100 | 232700 | mona.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-10-02 13:17 +0100 | 152924 | nipkow-rexp.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-10-02 13:17 +0100 | 190075 | nipkow-tphols98.ps | file | revisions | annotate |
| -rw-r--r-- | 2013-10-02 13:17 +0100 | 85547 | nipkow.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-10-02 13:17 +0100 | 854871 | p481-brzozowski.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-10-02 13:17 +0100 | 125873 | parsing-norrish.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-10-02 13:17 +0100 | 186131 | partial-derivative-automata.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-10-02 13:17 +0100 | 186131 | partial-derivatives-in-coq.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-10-02 13:17 +0100 | 1978418 | partial-derivatives.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-10-02 13:17 +0100 | 269499 | partial-derivs.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-10-02 13:17 +0100 | 291505 | pfenning.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-10-02 13:17 +0100 | 167435 | print-harper.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-10-02 13:17 +0100 | 280326 | product-derivatives.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-10-02 13:17 +0100 | 237499 | reg-exp-partial-derivatives.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-10-02 13:17 +0100 | 211383 | ridge11parsing.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-10-02 13:17 +0100 | 672315 | rosenberg_lec06.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-10-02 13:17 +0100 | 264030 | rutten-derivatives.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-10-02 13:17 +0100 | 18964991 | rutten.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-10-02 13:17 +0100 | 28900419 | sakarovitch-regs-chap.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-10-02 13:17 +0100 | 572831 | slind.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-10-02 13:17 +0100 | 186911 | yacc-is-dead.pdf | file | revisions | annotate |