![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
![[ ]](/icons/dvi.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| abs-kraus.ps | 02-Aug-2001 17:12 | 21K | |
| abs-kraus.dvi | 20-Sep-1998 20:19 | 1.9K | |
| abs-flajolet.ps | 02-Aug-2001 17:12 | 18K | |
| abs-flajolet.dvi | 20-Sep-1998 20:19 | 916 | |
| abs-boyd.ps | 02-Aug-2001 17:12 | 23K | |
| abs-boyd.dvi | 20-Sep-1998 20:26 | 2.0K | |