![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
![[CMP]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 3d.pdf | 26-Mar-2007 15:32 | 377K | |
| 3d.ps | 13-May-2002 13:26 | 470K | |
| APHvB-chapter.pdf | 16-Aug-2009 18:56 | 134K | |
| APHvB-chapter.ps | 22-Feb-2007 14:34 | 245K | |
| KR2010IPratt-Hartmann.pdf | 25-Feb-2010 07:35 | 232K | |
| LPAR-08.pdf | 07-Jun-2008 17:03 | 257K | |
| PH-chapter.pdf | 29-May-2009 10:17 | 702K | |
| PH-chapter.ps | 31-Aug-2006 11:03 | 1.5M | |
| affine.pdf | 16-Aug-2009 18:51 | 250K | |
| affine.ps | 11-Jun-1999 13:19 | 449K | |
| axiomatization.pdf | 16-Aug-2009 18:52 | 573K | |
| axiomatization.ps | 21-Oct-1998 12:21 | 815K | |
| csl10.pdf | 01-Sep-2010 12:06 | 226K | |
| fi.pdf | 16-Aug-2009 18:52 | 402K | |
| fi.ps | 26-Jan-2001 16:17 | 411K | |
| fi.ps.Z | 26-Jan-2001 16:17 | 190K | |
| ijcai11.pdf | 03-May-2011 18:50 | 319K | |
| mereo_revised.pdf | 16-Aug-2009 18:52 | 388K | |
| mereo_revised.ps | 21-Oct-1998 12:06 | 577K | |
| tcc.pdf | 16-Aug-2009 18:52 | 235K | |
| tcc.ps | 24-Jan-2006 16:31 | 390K | |