![[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 | - | ||
| 1998/ | 23-May-2019 19:18 | - | |
| 1999/ | 30-Jan-2022 12:33 | - | |
| 2000/ | 23-May-2019 19:18 | - | |
| 2001/ | 29-Oct-2009 09:19 | - | |
| 2002/ | 29-Oct-2009 09:19 | - | |
| 2003/ | 23-May-2019 19:18 | - | |
| 2004/ | 23-May-2019 19:18 | - | |
| 2006/ | 29-Oct-2009 09:19 | - | |
| 2007/ | 23-May-2019 19:18 | - | |
| 2008/ | 12-Apr-2022 11:05 | - | |
| 2009/ | 23-May-2019 19:18 | - | |
| 2010/ | 23-May-2019 19:18 | - | |
| 2011/ | 23-May-2019 19:18 | - | |
| 2012/ | 23-May-2019 19:18 | - | |
| 2013/ | 23-May-2019 19:18 | - | |
| 2014/ | 23-May-2019 19:18 | - | |
| 2015/ | 23-May-2019 19:18 | - | |
| 2016/ | 23-May-2019 19:18 | - | |
| 2017/ | 23-May-2019 19:18 | - | |
| 2018/ | 23-May-2019 19:18 | - | |
| 2019/ | 28-Jul-2022 18:38 | - | |
| 2020/ | 24-Feb-2021 22:59 | - | |
| 2021/ | 28-Jul-2022 18:39 | - | |
| 2022/ | 01-Aug-2022 10:04 | - | |
| BinPrologPapers/ | 29-Oct-2009 09:19 | - | |
| JinniPapers/ | 23-May-2019 19:18 | - | |
| LeanProlog/ | 23-May-2019 19:18 | - | |
| NewBinPrologPapers/ | 23-May-2019 19:18 | - | |
| NewJinniPapers/ | 29-Oct-2009 09:19 | - | |
| OtherPapers/ | 23-May-2019 19:18 | - | |
| PapersHTML/ | 11-Dec-1999 00:04 | - | |
| SelectedPapers/ | 23-May-2019 19:18 | - | |
| bijectiveNSF/ | 11-Sep-2020 10:58 | - | |
| isoNSF/ | 23-May-2019 19:18 | - | |
| misc/ | 23-May-2019 19:18 | - | |
| overview/ | 28-Jul-2021 22:26 | - | |
| researchPapers.html | 16-Feb-2003 03:24 | 8.0K | |
| slides/ | 24-Sep-2021 11:30 | - | |
| slides_icccnt.pdf | 05-Jul-2016 21:14 | 210K | |