Atenção: Todas as denúncias são sigilosas e sua identidade será preservada.
Os campos nome e e-mail são de preenchimento opcional
Metadados | Descrição | Idioma |
---|---|---|
Autor(es): dc.creator | Bianconi, Ricardo | - |
Autor(es): dc.creator | Ferreira, Gilda | - |
Autor(es): dc.creator | Silva, Emmanuel | - |
Data de aceite: dc.date.accessioned | 2022-02-15T14:07:54Z | - |
Data de disponibilização: dc.date.available | 2022-02-15T14:07:54Z | - |
Data de envio: dc.date.issued | 2021-02-10 | - |
Data de envio: dc.date.issued | 2021-02-10 | - |
Data de envio: dc.date.issued | 2013 | - |
Fonte completa do material: dc.identifier | http://hdl.handle.net/10400.2/10487 | - |
Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/10400.2/10487 | - |
Descrição: dc.description | We present theories of bounded arithmetic and weak analysis whose provably total functions (with appropriate graphs) are the polyspace computable functions. More precisely, inspired in Ferreira’s systems PTCA, Sigma^b_1-NIA and BTFA in the polytime framework, we propose analogue theories concerning polyspace computability. Since the techniques we employ in the characterization of PSPACE via formal systems (e.g. Herbrand’s theorem, cut-elimination theorem and the expansion of models) are similar to the ones involved in the polytime setting, we focus on what is specific of polyspace and explains the lift from PTIME to PSPACE. | - |
Descrição: dc.description | info:eu-repo/semantics/publishedVersion | - |
Idioma: dc.language | en | - |
Relação: dc.relation | PTDC/MAT/104716/2008 | - |
Relação: dc.relation | info:eu-repo/grantAgreement/FCT/SFRH/SFRH%2FBPD%2F34527%2F2006/PT | - |
Relação: dc.relation | PEst-OE/MAT/UI0209/2011 | - |
Direitos: dc.rights | openAccess | - |
Palavras-chave: dc.subject | Bounded arithmetic | - |
Palavras-chave: dc.subject | Weak analysis | - |
Palavras-chave: dc.subject | Polyspace computability | - |
Palavras-chave: dc.subject | Conservation results | - |
Título: dc.title | Bounded theories for polyspace computability | - |
Tipo de arquivo: dc.type | livro digital | - |
Aparece nas coleções: | Repositório Aberto - Universidade Aberta (Portugal) |
O Portal eduCAPES é oferecido ao usuário, condicionado à aceitação dos termos, condições e avisos contidos aqui e sem modificações. A CAPES poderá modificar o conteúdo ou formato deste site ou acabar com a sua operação ou suas ferramentas a seu critério único e sem aviso prévio. Ao acessar este portal, você, usuário pessoa física ou jurídica, se declara compreender e aceitar as condições aqui estabelecidas, da seguinte forma: