Index of /~tarau/research

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[DIR]1998/23-May-2019 19:18 -  
[DIR]1999/23-May-2019 19:18 -  
[DIR]2000/23-May-2019 19:18 -  
[DIR]2001/29-Oct-2009 09:19 -  
[DIR]2002/29-Oct-2009 09:19 -  
[DIR]2003/23-May-2019 19:18 -  
[DIR]2004/23-May-2019 19:18 -  
[DIR]2006/29-Oct-2009 09:19 -  
[DIR]2007/23-May-2019 19:18 -  
[DIR]2008/23-May-2019 19:18 -  
[DIR]2009/23-May-2019 19:18 -  
[DIR]2010/23-May-2019 19:18 -  
[DIR]2011/23-May-2019 19:18 -  
[DIR]2012/23-May-2019 19:18 -  
[DIR]2013/23-May-2019 19:18 -  
[DIR]2014/23-May-2019 19:18 -  
[DIR]2015/23-May-2019 19:18 -  
[DIR]2016/23-May-2019 19:18 -  
[DIR]2017/23-May-2019 19:18 -  
[DIR]2018/23-May-2019 19:18 -  
[DIR]2019/28-Jun-2019 13:23 -  
[DIR]BinPrologPapers/29-Oct-2009 09:19 -  
[DIR]JinniPapers/23-May-2019 19:18 -  
[DIR]LeanProlog/23-May-2019 19:18 -  
[DIR]NewBinPrologPapers/23-May-2019 19:18 -  
[DIR]NewJinniPapers/29-Oct-2009 09:19 -  
[DIR]OtherPapers/23-May-2019 19:18 -  
[DIR]PapersHTML/11-Dec-1999 00:04 -  
[DIR]SelectedPapers/23-May-2019 19:18 -  
[DIR]bijectiveNSF/23-May-2019 19:18 -  
[DIR]isoNSF/23-May-2019 19:18 -  
[DIR]misc/23-May-2019 19:18 -  
[DIR]slides/23-May-2019 19:18 -  
[TXT]researchPapers.html16-Feb-2003 03:24 8.0K 
[   ]slides_icccnt.pdf05-Jul-2016 21:14 210K 

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