| dc.contributor.author | Atserias, Albert |
|---|---|
| dc.contributor.author | Maneva, Elitza |
| dc.contributor.author | Universitat Autònoma de Barcelona. Centre de Recerca Matemàtica |
| dc.date | 2010 |
| dc.identifier | https://ddd.uab.cat/record/69580 |
| dc.identifier | urn:oai:ddd.uab.cat:69580 |
| dc.format | application/pdf |
| dc.language | eng |
| dc.publisher | Centre de Recerca Matemàtica |
| dc.relation | Centre de Recerca Matemàtica. Prepublicacions ; |
| dc.rights | open access |
| dc.rights | Aquest document està subjecte a una llicència d'ús de Creative Commons, amb la qual es permet copiar, distribuir i comunicar públicament l'obra sempre que se'n citin l'autor original, la universitat i el centre i no se'n faci cap ús comercial ni obra derivada, tal com queda estipulat en la llicència d'ús |
| dc.rights | https://creativecommons.org/licenses/by-nc-nd/2.5/ |
| dc.subject | Demostració, Teoria de la |
| dc.title | Mean-payoff games and propositional proofs |
| dc.type | Article |
| dc.type | Prepublicació |
| dc.description.abstract |
Related documents
Other documents of the same author
Atserias, Albert; Maneva, Elitza
Atserias, Albert; Maneva, Elitza
Maneva, Elitza; Shigezumi, Takeya; Uno, Yushi; Watanabe, Osamu; Universitat Autònoma de Barcelona. Centre de Recerca Matemàtica
Atserias, Albert; Müller, Moritz; Universitat Autònoma de Barcelona. Centre de Recerca Matemàtica
Maneva, Elitza; Shigezumi, Takeya; Uno, Yushi; Watanabe, Osamu