Index of /2010/hdl_2072_96590/

Atserias, Albert
Mean-payoff games and propositional proofs
2010
http://ddd.uab.cat/record/69580
[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]1=Atserias,_Albert2011-04-04 15:17 17  
[   ]2=Mean-payoff_games_and_propositional_proofs2011-04-04 15:17 43  
[   ]3=20102011-04-04 15:17 5  
[   ]4=695802011-04-04 15:17 32  
[IMG]Pr950.gif2011-04-04 12:26 135K 
[IMG]Pr950.ico2011-04-04 12:26 28K 
[TXT]Pr950.info2011-04-04 12:26 13K 
[   ]Pr950.pdf2011-04-04 12:26 304K 
[TXT]Pr950.txt2011-04-04 12:26 103K 
[TXT]hdl_2072_96590.dirinfo2021-12-23 02:31 349  
[   ]hdl_2072_96590.du2021-12-23 02:31 26  
[TXT]hdl_2072_96590.dupdirs2021-12-23 02:31 0  
[TXT]hdl_2072_96590.dupfiles2021-12-23 02:31 0  
[TXT]hdl_2072_96590.errors2021-12-23 02:31 0  
[TXT]hdl_2072_96590.md52021-12-23 02:31 44  
[   ]hdl_2072_96590.par22021-12-23 02:31 39K 
[TXT]hdl_2072_96590.sha12021-12-23 02:31 52  
[TXT]hdl_2072_96590.sha2562021-12-23 02:31 76  
[TXT]hdl_2072_96590.stats2021-12-23 02:31 293  
[   ]hdl_2072_96590.vol000+100.par22021-12-23 02:31 297K