Index of /~tarau/research/2009

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]CALC09fISO.pdf14-Oct-2013 14:00 295K 
[   ]ISOPRIMES1.zip02-Mar-2009 17:08 9.8M 
[   ]ISOPRIMES2.zip02-Mar-2009 17:09 8.8M 
[   ]ISOSELF1.zip02-Mar-2009 17:10 8.6M 
[   ]everything.zip02-Mar-2009 16:23 8.6M 
[TXT]fISO.hs31-Dec-2009 13:12 70K 
[   ]fISO.pdf31-Dec-2009 13:19 6.9M 
[   ]fISO.zip23-Jun-2009 09:30 16M 
[TXT]fOBDT.hs01-Nov-2009 10:14 4.2K 
[   ]fOBDT.pdf30-Oct-2009 16:25 224K 
[TXT]fgoedel.hs15-Oct-2009 20:33 5.9K 
[   ]fgoedel.pdf15-Oct-2009 20:58 186K 
[TXT]fsyn.hs03-Mar-2010 17:40 4.0K 
[   ]fsyn.pdf01-Nov-2009 09:50 186K 
[   ]goedel.zip11-May-2009 15:25 630K 
[   ]hISO.zip11-May-2009 14:52 232K 
[   ]isoNKS.nb01-Oct-2009 08:13 142K 
[TXT]jfpPRIMES.hs03-Sep-2009 19:31 8.3K 
[   ]jfpPRIMES.pdf03-Sep-2009 20:13 1.9M 
[   ]pBDD.zip02-Mar-2009 16:45 8.8M 
[   ]pHFP.zip02-Mar-2009 16:43 9.2M 
[   ]pISO.zip11-May-2009 15:35 1.3M 
[TXT]shared.hs03-Oct-2009 09:19 11K 
[TXT]sharedAxioms.hs14-Jul-2009 18:37 13K 
[   ]sharedAxioms.pdf15-Jul-2009 15:41 183K 
[   ]slides_PPDP09.pdf05-Sep-2009 08:58 403K 
[   ]syn.pdf04-Sep-2009 09:39 429K 
[   ]syn.pro04-Sep-2009 09:30 7.4K 
[   ]tarau_ppdp09.pdf23-Jun-2009 09:32 336K 

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