Hard instances of algorithms and proof systems

All of RECERCAT

Use this identifier to quote or link this document: http://hdl.handle.net/2072/169740

dc.contributor	Centre de Recerca Matemàtica
dc.contributor.author	Chen, Yijia
dc.contributor.author	Flum, Jörg
dc.contributor.author	Müller, Moritz
dc.date.accessioned	2011-09-21T07:46:44Z
dc.date.available	2011-09-21T07:46:44Z
dc.date.created	2011
dc.date.issued	2011
dc.identifier.uri	http://hdl.handle.net/2072/169740
dc.format.extent	23
dc.format.extent	254942 bytes
dc.format.mimetype	application/pdf
dc.language.iso	eng
dc.publisher	Centre de Recerca Matemàtica
dc.relation.ispartofseries	Prepublicacions del Centre de Recerca Matemàtica;1024
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/)
dc.subject.other	Demostració, Teoria de la
dc.subject.other	Algorismes
dc.title	Hard instances of algorithms and proof systems
dc.type	info:eu-repo/semantics/preprint
dc.subject.udc	510 - Consideracions fonamentals i generals de les matemàtiques
dc.description.abstract	"Vegeu el resum a l'inici del document del fitxer adjunt."

Files	Size	Format
Pr1024.pdf	254.9 KB	PDF