Index of /2011/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:27 12  
[   ]2=On_slicewise_monotone_parameterized_problems...2012-03-22 10:27 80  
[   ]3=20102012-03-22 10:27 5  
[   ]4=760632012-03-22 10:27 32  
[IMG]Pr998.gif2011-09-03 03:31 44K 
[IMG]Pr998.ico2011-09-03 03:31 24K 
[TXT]Pr998.info2011-09-03 03:31 9.8K 
[   ]Pr998.pdf2011-09-03 03:31 213K 
[TXT]Pr998.txt2011-09-03 03:31 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