Index of /2010/hdl_2072_169261/

Chen, Yijia
On slicewise monotone parameterized problems and optimal proof systems for TAUT
2010
http://ddd.uab.cat/record/76063
[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]1=Chen,_Yijia2012-03-22 10:26 12  
[   ]2=On_slicewise_monotone_parameterized_problems...2012-03-22 10:26 80  
[   ]3=20102012-03-22 10:26 5  
[   ]4=760632012-03-22 10:26 32  
[IMG]Pr998.gif2011-09-24 03:34 44K 
[IMG]Pr998.ico2011-09-24 03:34 24K 
[TXT]Pr998.info2011-09-24 03:34 9.8K 
[   ]Pr998.pdf2011-09-24 03:34 213K 
[TXT]Pr998.txt2011-09-24 03:34 40K 
[TXT]hdl_2072_169261.dirinfo2021-12-23 02:31 353  
[   ]hdl_2072_169261.du2021-12-23 02:31 26  
[TXT]hdl_2072_169261.dupdirs2021-12-23 02:31 85  
[TXT]hdl_2072_169261.dupfiles2021-12-23 02:31 104  
[TXT]hdl_2072_169261.errors2021-12-23 02:31 0  
[TXT]hdl_2072_169261.md52021-12-23 02:31 44  
[   ]hdl_2072_169261.par22021-12-23 02:31 40K 
[TXT]hdl_2072_169261.sha12021-12-23 02:31 52  
[TXT]hdl_2072_169261.sha2562021-12-23 02:31 76  
[TXT]hdl_2072_169261.stats2021-12-23 02:31 244  
[   ]hdl_2072_169261.vol000+101.par22021-12-23 02:31 296K