On slicewise monotone parameterized problems and optimal proof systems for TAUT

"Vegeu el resum a l'inici del document del fitxer adjunt".

Detalles Bibliográficos
Autores: Chen, Yijia, Flum, Jörg
Tipo de recurso: artículo
Fecha de publicación:2010
País:España
Institución:Universitat Autònoma de Barcelona
Repositorio:Dipòsit Digital de Documents de la UAB
Idioma:inglés
OAI Identifier:oai:ddd.uab.cat:76063
Acceso en línea:https://ddd.uab.cat/record/76063
Access Level:acceso abierto
Palabra clave:Demostració, Teoria de la
Complexitat de càlcul
id ES_fbf602811f58a3c109dddde23dc86b84
oai_identifier_str oai:ddd.uab.cat:76063
network_acronym_str ES
network_name_str España
repository_id_str
spelling On slicewise monotone parameterized problems and optimal proof systems for TAUTChen, YijiaFlum, JörgDemostració, Teoria de laComplexitat de càlcul"Vegeu el resum a l'inici del document del fitxer adjunt".Centre de Recerca MatemàticaCentre de Recerca Matemàtica 22010-01-0120102010-01-01Articlehttp://purl.org/coar/resource_type/c_6501AOhttp://purl.org/coar/version/c_b1a7d7d4d402bcceinfo:eu-repo/semantics/articleapplication/pdfhttps://ddd.uab.cat/record/76063reponame:Dipòsit Digital de Documents de la UABinstname:Universitat Autònoma de BarcelonaInglésengopen accesshttp://purl.org/coar/access_right/c_abf2Aquest 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.https://creativecommons.org/licenses/by-nc-nd/2.5/info:eu-repo/semantics/openAccessoai:ddd.uab.cat:760632026-06-06T12:50:31Z
dc.title.none.fl_str_mv On slicewise monotone parameterized problems and optimal proof systems for TAUT
title On slicewise monotone parameterized problems and optimal proof systems for TAUT
spellingShingle On slicewise monotone parameterized problems and optimal proof systems for TAUT
Chen, Yijia
Demostració, Teoria de la
Complexitat de càlcul
title_short On slicewise monotone parameterized problems and optimal proof systems for TAUT
title_full On slicewise monotone parameterized problems and optimal proof systems for TAUT
title_fullStr On slicewise monotone parameterized problems and optimal proof systems for TAUT
title_full_unstemmed On slicewise monotone parameterized problems and optimal proof systems for TAUT
title_sort On slicewise monotone parameterized problems and optimal proof systems for TAUT
dc.creator.none.fl_str_mv Chen, Yijia
Flum, Jörg
author Chen, Yijia
author_facet Chen, Yijia
Flum, Jörg
author_role author
author2 Flum, Jörg
author2_role author
dc.contributor.none.fl_str_mv Centre de Recerca Matemàtica
dc.subject.none.fl_str_mv Demostració, Teoria de la
Complexitat de càlcul
topic Demostració, Teoria de la
Complexitat de càlcul
description "Vegeu el resum a l'inici del document del fitxer adjunt".
publishDate 2010
dc.date.none.fl_str_mv 2
2010-01-01
2010
2010-01-01
dc.type.none.fl_str_mv Article
http://purl.org/coar/resource_type/c_6501
AO
http://purl.org/coar/version/c_b1a7d7d4d402bcce
dc.type.openaire.fl_str_mv info:eu-repo/semantics/article
format article
dc.identifier.none.fl_str_mv https://ddd.uab.cat/record/76063
url https://ddd.uab.cat/record/76063
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
https://creativecommons.org/licenses/by-nc-nd/2.5/
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
https://creativecommons.org/licenses/by-nc-nd/2.5/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Centre de Recerca Matemàtica
publisher.none.fl_str_mv Centre de Recerca Matemàtica
dc.source.none.fl_str_mv reponame:Dipòsit Digital de Documents de la UAB
instname:Universitat Autònoma de Barcelona
instname_str Universitat Autònoma de Barcelona
reponame_str Dipòsit Digital de Documents de la UAB
collection Dipòsit Digital de Documents de la UAB
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869425378099986432
score 15,301603

Similares en LA Referencia