Index of /2011/hdl_2072_169260/

Chen, Yijia
On p-optimal proof systems and logics for PTIME
2010
http://ddd.uab.cat/record/76062
[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]1=Chen,_Yijia2012-03-22 10:27 12  
[   ]2=On_p-optimal_proof_systems_and_logics_for...2012-03-22 10:27 48  
[   ]3=20102012-03-22 10:27 5  
[   ]4=760622012-03-22 10:27 32  
[IMG]Pr997.gif2011-09-03 03:31 37K 
[IMG]Pr997.ico2011-09-03 03:31 26K 
[TXT]Pr997.info2011-09-03 03:31 9.7K 
[   ]Pr997.pdf2011-09-03 03:31 213K 
[TXT]Pr997.txt2011-09-03 03:31 34K 
[TXT]hdl_2072_169260.dirinfo2021-12-23 02:31 353  
[   ]hdl_2072_169260.du2021-12-23 02:31 26  
[TXT]hdl_2072_169260.dupdirs2021-12-23 02:31 85  
[TXT]hdl_2072_169260.dupfiles2021-12-23 02:31 104  
[TXT]hdl_2072_169260.errors2021-12-23 02:31 0  
[TXT]hdl_2072_169260.md52021-12-23 02:31 44  
[   ]hdl_2072_169260.par22021-12-23 02:31 40K 
[TXT]hdl_2072_169260.sha12021-12-23 02:31 52  
[TXT]hdl_2072_169260.sha2562021-12-23 02:31 76  
[TXT]hdl_2072_169260.stats2021-12-23 02:31 244  
[   ]hdl_2072_169260.vol000+101.par22021-12-23 02:31 295K