Index of /~tarau/research

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[DIR]98/17-Feb-2013 07:56 -  
[DIR]99/24-Aug-2010 10:40 -  
[DIR]2000/05-Mar-2016 14:04 -  
[DIR]2001/29-Oct-2009 09:19 -  
[DIR]2002/29-Oct-2009 09:19 -  
[DIR]2003/29-Oct-2009 09:19 -  
[DIR]2004/24-Sep-2016 09:30 -  
[DIR]2006/29-Oct-2009 09:19 -  
[DIR]2007/29-Oct-2009 09:19 -  
[DIR]2008/29-Oct-2009 09:19 -  
[DIR]2009/14-Oct-2013 14:01 -  
[DIR]2010/21-Feb-2015 06:28 -  
[DIR]2011/21-Feb-2015 06:27 -  
[DIR]2012/21-Feb-2015 06:27 -  
[DIR]2013/21-Feb-2015 06:26 -  
[DIR]2014/06-Feb-2015 15:25 -  
[DIR]2015/12-May-2016 15:40 -  
[DIR]2016/01-Apr-2017 21:43 -  
[DIR]2017/11-Oct-2017 18:12 -  
[DIR]BinPrologPapers/29-Oct-2009 09:19 -  
[DIR]JinniPapers/29-Oct-2009 09:19 -  
[DIR]LeanProlog/04-May-2014 19:15 -  
[DIR]NewBinPrologPapers/29-Oct-2009 09:19 -  
[DIR]NewJinniPapers/29-Oct-2009 09:19 -  
[DIR]OtherPapers/13-Feb-2014 21:46 -  
[DIR]PapersHTML/11-Dec-1999 00:04 -  
[DIR]SelectedPapers/29-Oct-2009 09:19 -  
[DIR]bijectiveNSF/04-May-2014 19:15 -  
[DIR]isoNSF/04-May-2014 19:15 -  
[DIR]misc/15-Dec-2014 16:59 -  
[TXT]researchPapers.html16-Feb-2003 03:24 8.0K 
[DIR]slides/22-Aug-2016 08:56 -  
[   ]slides_icccnt.pdf05-Jul-2016 21:14 210K 

Apache/2.2.22 (Ubuntu) Server at www.cse.unt.edu Port 80