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