| Name | # Files | Name | # Files | |
|---|---|---|---|---|
| .AppleDouble | 24 | Egidio | 1 |
| Name | Format | # Files | Size | Date |
|---|---|---|---|---|
| AMAST93.ps.z | GZip archive | 1 | 44KB | 1995-01-28 |
| AMAST97.ps.gz | GZip archive | 1 | 95KB | 1997-09-06 |
| CAAP88.ps.z | GZip archive | 1 | 52KB | 1995-01-29 |
| EATCS89.ps.z | GZip archive | 1 | 30KB | 1995-01-29 |
| FASE2001.ps.gz | GZip archive | 1 | 100KB | 2001-09-10 |
| FI92.ps.z | GZip archive | 1 | 65KB | 1995-01-29 |
| IFIP96.ps.gz | GZip archive | 1 | 202KB | 1996-11-17 |
| MFCS91.ps.z | GZip archive | 1 | 34KB | 1995-01-29 |
| MFCS93.ps.z | GZip archive | 1 | 47KB | 1995-01-29 |
| mscs96.ps.gz | GZip archive | 1 | 131KB | 1996-01-30 |
| MSCS97.ps.gz | GZip archive | 1 | 157KB | 1997-07-10 |
| NonStrict.ps.gz | GZip archive | 1 | 131KB | 1995-02-26 |
| SoSL93.ps.z | GZip archive | 1 | 73KB | 1995-01-29 |
| TAPSOFT91.ps.z | GZip archive | 1 | 55KB | 1995-01-29 |
| TCS95.ps.z | GZip archive | 1 | 136KB | 1995-01-28 |
| TCS96.ps.gz | GZip archive | 1 | 121KB | 1996-01-30 |
| thesis92.ps.z | GZip archive | 1 | 489KB | 1995-01-30 |
| WADT92.ps.z | GZip archive | 1 | 73KB | 1995-01-28 |
| WADT93.ps.gz | GZip archive | 1 | 58KB | 1995-03-26 |
| WADT94.ps.z | GZip archive | 1 | 60KB | 1995-01-28 |
| WADT97.ps.gz | GZip archive | 1 | 72KB | 1998-02-23 |
| wadts-bib.ps.z | GZip archive | 1 | 145KB | 1995-01-29 |
| Name | Format | # Pages | Size | Date |
|---|---|---|---|---|
| FASE2001.pdf | Portable Document Format | 296KB | 2001-09-10 | |
| induzione.ps | PostScript | 27 | 494KB | 1998-11-19 |
| labels.dvi | Device Independent File | 3 | 12KB | 2001-11-08 |
| semantica.ps | PostScript | 11 | 277KB | 1998-11-19 |