drwxr-xr-x |
|
|
[up] |
|
-rw-r--r-- |
2011-07-27 15:29 +0000 |
95625 |
06-jfp-yi.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-07-27 15:29 +0000 |
82607 |
2005-03-16.DFA_to_RegEx.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-07-27 15:29 +0000 |
78077 |
2259.0.regsimp.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-07-27 15:29 +0000 |
1474958 |
Berstel-Boasson-Algebraic-Theory-1996.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-07-27 15:29 +0000 |
328801 |
FormalizingAutomata-Constable.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-07-27 15:29 +0000 |
311393 |
How expressions can code for automata.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-07-27 15:29 +0000 |
243882 |
On the number of broken derived terms of a rational expression.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-07-27 15:29 +0000 |
721520 |
RR-0649.pdf
|
file |
revisions |
annotate
|
-rwxr-xr-x |
2011-07-27 15:29 +0000 |
59623 |
Tom Henzinger.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-07-27 15:29 +0000 |
91293 |
arden-DFA-regexp.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-07-27 15:29 +0000 |
194988 |
ardens-exercise.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-07-27 15:29 +0000 |
198071 |
berghofer.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-07-27 15:29 +0000 |
127071 |
coquand-over5.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-07-27 15:29 +0000 |
115699 |
derivative-tr200910.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-07-27 15:29 +0000 |
702900 |
dfa2reg.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-07-27 15:29 +0000 |
171383 |
enumerating.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-07-27 15:29 +0000 |
975779 |
gallier.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-07-27 15:29 +0000 |
342938 |
gallier2.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-07-27 15:29 +0000 |
306865 |
gallier3.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-07-27 15:29 +0000 |
486027 |
gallier4.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-07-27 15:29 +0000 |
12612370 |
hu69.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-07-27 15:29 +0000 |
152924 |
nipkow-rexp.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-07-27 15:29 +0000 |
190075 |
nipkow-tphols98.ps
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-07-27 15:29 +0000 |
854871 |
p481-brzozowski.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-07-27 15:29 +0000 |
125873 |
parsing-norrish.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-07-27 15:29 +0000 |
1978418 |
partial-derivatives.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-07-27 15:29 +0000 |
291505 |
pfenning.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-07-27 15:29 +0000 |
167435 |
print-harper.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-07-27 15:29 +0000 |
237499 |
reg-exp-partial-derivatives.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-07-27 15:29 +0000 |
211383 |
ridge11parsing.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-07-27 15:29 +0000 |
18964991 |
rutten.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-07-27 15:29 +0000 |
29882936 |
sakarovitch-regs-chap.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-07-27 15:29 +0000 |
572831 |
slind.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2011-07-27 15:29 +0000 |
186911 |
yacc-is-dead.pdf
|
file |
revisions |
annotate
|