![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 98/ | 17-Feb-2013 07:56 | - | |
| 99/ | 24-Aug-2010 10:40 | - | |
| 2000/ | 05-Mar-2016 14:04 | - | |
| 2001/ | 29-Oct-2009 09:19 | - | |
| 2002/ | 29-Oct-2009 09:19 | - | |
| 2003/ | 29-Oct-2009 09:19 | - | |
| 2004/ | 24-Sep-2016 09:30 | - | |
| 2006/ | 29-Oct-2009 09:19 | - | |
| 2007/ | 29-Oct-2009 09:19 | - | |
| 2008/ | 29-Oct-2009 09:19 | - | |
| 2009/ | 14-Oct-2013 14:01 | - | |
| 2010/ | 21-Feb-2015 06:28 | - | |
| 2011/ | 21-Feb-2015 06:27 | - | |
| 2012/ | 21-Feb-2015 06:27 | - | |
| 2013/ | 17-Feb-2018 22:29 | - | |
| 2014/ | 13-Jan-2019 19:06 | - | |
| 2015/ | 12-May-2016 15:40 | - | |
| 2016/ | 17-Feb-2018 22:29 | - | |
| 2017/ | 28-Sep-2018 21:00 | - | |
| 2018/ | 17-Dec-2018 19:03 | - | |
| 2019/ | 27-Jan-2019 12:02 | - | |
| BinPrologPapers/ | 29-Oct-2009 09:19 | - | |
| JinniPapers/ | 29-Oct-2009 09:19 | - | |
| LeanProlog/ | 04-May-2014 19:15 | - | |
| NewBinPrologPapers/ | 29-Oct-2009 09:19 | - | |
| NewJinniPapers/ | 29-Oct-2009 09:19 | - | |
| OtherPapers/ | 13-Feb-2014 21:46 | - | |
| PapersHTML/ | 11-Dec-1999 00:04 | - | |
| SelectedPapers/ | 29-Oct-2009 09:19 | - | |
| bijectiveNSF/ | 28-Sep-2018 21:00 | - | |
| isoNSF/ | 04-May-2014 19:15 | - | |
| misc/ | 28-Jan-2019 14:23 | - | |
| researchPapers.html | 16-Feb-2003 03:24 | 8.0K | |
| slides/ | 22-Aug-2016 08:56 | - | |
| slides_icccnt.pdf | 05-Jul-2016 21:14 | 210K | |