dc.contributor.author
Chen, Yijia
dc.contributor.author
Flum, Jörg
dc.contributor.author
Müller, Moritz
dc.contributor.author
Centre de Recerca Matemàtica
dc.identifier
https://ddd.uab.cat/record/77023
dc.identifier
urn:oai:ddd.uab.cat:77023
dc.description.abstract
"Vegeu el resum a l'inici del document del fitxer adjunt".
dc.format
application/pdf
dc.publisher
Centre de Recerca Matemàtica
dc.relation
Centre de Recerca Matemàtica. Prepublicacions ;
dc.rights
Aquest document està subjecte a una llicència d'ús Creative Commons. Es permet la reproducció total o parcial, la distribució, i la comunicació pública de l'obra, sempre que no sigui amb finalitats comercials, i sempre que es reconegui l'autoria de l'obra original. No es permet la creació d'obres derivades.
dc.rights
https://creativecommons.org/licenses/by-nc-nd/2.5/
dc.subject
Demostració, Teoria de la
dc.title
Hard instances of algorithms and proof systems
