dc.contributor
Centre de Recerca Matemàtica
dc.contributor.author
Atserias, Albert
dc.contributor.author
Maneva, Elitza
dc.date.accessioned
2010-11-22T12:57:20Z
dc.date.accessioned
2024-09-19T13:33:25Z
dc.date.available
2010-11-22T12:57:20Z
dc.date.available
2024-09-19T13:33:25Z
dc.identifier.uri
http://hdl.handle.net/2072/96590
dc.description.abstract
"Vegeu el resum a l'inici del document del fitxer adjunt."
cat
dc.format.extent
311649 bytes
dc.format.mimetype
application/pdf
dc.publisher
Centre de Recerca Matemàtica
ca
dc.relation.ispartofseries
Prepublicacions del Centre de Recerca Matemàtica;950
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 (http://creativecommons.org/licenses/by-nc-nd/2.5/es/)
cat
dc.subject.other
Demostració, Teoria de la
ca
dc.title
Mean-payoff games and propositional proofs
ca
dc.type
info:eu-repo/semantics/preprint
ca
