drwxr-xr-x |
|
|
[up] |
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
6148 |
.DS_Store
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
112691 |
Nominal2-2011-1.tgz
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
157955 |
Nominal2-2012.tgz
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
149036 |
Nominal2-2013-1.tgz
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
149036 |
Nominal2-2013-2.tgz
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
116373 |
Nominal2-2014.tgz
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
140745 |
Nominal2-2015.tgz
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
288360 |
Nominal2-2016-1.tgz
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
149585 |
Nominal2-2016.tgz
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
2359550 |
Phd-Urban.ps
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
701023 |
Phd-Urban.ps.gz
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
350988 |
alpha-iclp.ps
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
313389 |
alpha-tlca.ps
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
212563 |
aprolog-colognet.ps
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
229135 |
aprolog.ps
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
629789 |
bitcoded-itp.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
243704 |
cade07.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
436517 |
cade07.ps
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
340044 |
class-tcs.ps
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
236028 |
clc-06.ps
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
192954 |
cpp-11.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
298290 |
esop-11.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
127606 |
fi-00.ps.gz
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
281151 |
fi-01.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
127614 |
fi-01.ps.gz
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
425837 |
ijcar-06.ps
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
269144 |
itp-11.pdf
|
file |
revisions |
annotate
|
-rwxr-xr-x |
2024-02-23 11:59 +0000 |
175720 |
itp-12.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
198169 |
jlc-03.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
171541 |
lf.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
262576 |
lfmtp-06.ps
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
121527 |
lfmtp-07.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
341202 |
lftechreport.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
171541 |
lics-08.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
274907 |
lmcs.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
181877 |
ln.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
125253 |
merlin-05.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
217559 |
merlin-05.ps
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
131843 |
mike-poster-08.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
17297 |
mike-poster-abstract-08.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
75526268 |
mphil.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
12991215 |
mphil.pdf.gz
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
444244 |
nom-cade-05.ps
|
file |
revisions |
annotate
|
-rwxr-xr-x |
2024-02-23 11:59 +0000 |
265106 |
nom-tech.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
349315 |
nom-tech.ps
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
207475 |
nominal-atoms.pdf
|
file |
revisions |
annotate
|
-rwxr-xr-x |
2024-02-23 11:59 +0000 |
242612 |
nomu-tcs.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
319354 |
nomu-tcs.ps
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
323260 |
nomu.ps
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
280185 |
pip.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
460798 |
posix-jar.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
99984 |
posix.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
66252 |
proposal-2007.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
167456 |
rc.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
167994 |
rexp.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
531254 |
rta-08.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
202973 |
sac-11.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
253501 |
tableaux-01.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
93340 |
tableaux-01.ps.gz
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
530 |
tableaux-98.bib
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
32318 |
tableaux-98.ps.gz
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
417 |
tlca-99.bib
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
271538 |
tlca-99.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
104183 |
tlca-99.ps.gz
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
92603 |
tm.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
94762 |
tphols-08.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
185920 |
univ-10.pdf
|
file |
revisions |
annotate
|
-rwxr-xr-x |
2024-02-23 11:59 +0000 |
218902 |
variable.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
109927 |
w-07.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-02-23 11:59 +0000 |
196286 |
westapp-01.pdf
|
file |
revisions |
annotate
|