| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| 1=Atserias,_Albert | 2011-04-04 15:17 | 17 | ||
| 2=Mean-payoff_games_and_propositional_proofs | 2011-04-04 15:17 | 43 | ||
| 3=2010 | 2011-04-04 15:17 | 5 | ||
| 4=69580 | 2011-04-04 15:17 | 32 | ||
| Pr950.gif | 2011-04-04 12:26 | 135K | ||
| Pr950.ico | 2011-04-04 12:26 | 28K | ||
| Pr950.info | 2011-04-04 12:26 | 13K | ||
| Pr950.pdf | 2011-04-04 12:26 | 304K | ||
| Pr950.txt | 2011-04-04 12:26 | 103K | ||
| hdl_2072_96590.dirinfo | 2021-12-23 02:31 | 349 | ||
| hdl_2072_96590.du | 2021-12-23 02:31 | 26 | ||
| hdl_2072_96590.dupdirs | 2021-12-23 02:31 | 0 | ||
| hdl_2072_96590.dupfiles | 2021-12-23 02:31 | 0 | ||
| hdl_2072_96590.errors | 2021-12-23 02:31 | 0 | ||
| hdl_2072_96590.md5 | 2021-12-23 02:31 | 44 | ||
| hdl_2072_96590.par2 | 2021-12-23 02:31 | 39K | ||
| hdl_2072_96590.sha1 | 2021-12-23 02:31 | 52 | ||
| hdl_2072_96590.sha256 | 2021-12-23 02:31 | 76 | ||
| hdl_2072_96590.stats | 2021-12-23 02:31 | 293 | ||
| hdl_2072_96590.vol000+100.par2 | 2021-12-23 02:31 | 297K | ||