RECERCAT Principal
>
Universitat Autònoma de Barcelona
>
Prepublicacions i preprints
>
Visualizar documento
| Título: | Mean-payoff games and propositional proofs |
|---|---|
| Autor/a: | Atserias, Albert; Maneva, Elitza; Universitat Autònoma de Barcelona. Centre de Recerca Matemàtica |
| Abstract: | |
| Materia(s): | -Demostració, Teoria de la |
| Derechos: | open access
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 https://creativecommons.org/licenses/by-nc-nd/2.5/ |
| Tipo de documento: | Article Prepublicació |
| Editor: | Centre de Recerca Matemàtica |
| Compartir: |
|
| Uri: | https://ddd.uab.cat/record/69580 |
Documentos relacionados
Otros documentos del mismo autor/a
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