Name | Format | # Files | Size | Date |
---|---|---|---|---|
ls-lR.Z | Compress Compressed (Unix) | 1 | 1.1 KB | 1993-07-05 |
spectrum.A4.ps.Z | Compress Compressed (Unix) | 1 | 220.0 KB | 1993-07-05 |
spectrum.ps.Z | Compress Compressed (Unix) | 1 | 219.6 KB | 1993-07-05 |
Name | Format | # Pages | Size | Date |
---|---|---|---|---|
algecon.tex | LaTeX Document | 61.1 KB | 1993-07-05 | |
atch.tex | LaTeX Document | 60.1 KB | 1993-07-05 | |
casthes.tex | LaTeX Document | 25 | 212.7 KB | 1993-07-05 |
cg.tex | LaTeX Document | 73.0 KB | 1993-07-05 | |
complete.tex | LaTeX Document | 56.9 KB | 1993-07-05 | |
crewthes.tex | LaTeX Document | 213.7 KB | 1993-07-05 | |
dalg.tex | LaTeX Document | 89.1 KB | 1993-07-05 | |
dti.tex | LaTeX Document | 60.0 KB | 1993-07-05 | |
es.tex | LaTeX Document | 79.5 KB | 1993-07-05 | |
ijpp.tex | LaTeX Document | 104.7 KB | 1993-07-05 | |
iowatr.tex | LaTeX Document | 92.8 KB | 1993-07-05 | |
jelia.tex | LaTeX Document | 78.9 KB | 1993-07-05 | |
ldomain.tex | LaTeX Document | 38.2 KB | 1993-07-05 | |
man.tex | LaTeX Document | 127.1 KB | 1993-07-05 | |
monoidal.tex | LaTeX Document | 51.6 KB | 1993-07-05 | |
ocbr.tex | LaTeX Document | 34.0 KB | 1993-07-05 | |
pp2.tex | LaTeX Document | 40.8 KB | 1993-07-05 | |
ql.tex | LaTeX Document | 79.9 KB | 1993-07-05 | |
rep.tex | LaTeX Document | 22.3 KB | 1993-07-05 | |
scbr.tex | LaTeX Document | 59.1 KB | 1993-07-05 | |
twod.tex | LaTeX Document | 37.7 KB | 1993-07-05 |
Name | Format | # Lines | Size | Date |
---|---|---|---|---|
ABSTRACTS | Text File | 600 | 26.2 KB | 1993-07-05 |
am4.tex | Text File | 725 | 33.4 KB | 1993-07-05 |
logic.bib | Text File | 2,037 | 64.8 KB | 1993-07-05 |
README | Text File | 600 | 26.2 KB | 1993-07-05 |
structdir | Text File | 700 | 47.9 KB | 1993-07-05 |