Return to search

Caracterização aritmética em primeira ordem de funções computáveis em espaço polinomial

Made available in DSpace on 2014-06-12T15:48:52Z (GMT). No. of bitstreams: 1
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2008 / Nesta tese desenvolvemos uma caracterização das funções computáveis em espaço
polinomial por meio da lógica de primeira ordem de seqüência binárias. Provamos,
também, um resultado análogo ao Teorema de Parikh sobre limitação polinomial
no tamanho de crescimento das funções de…níveis em tal sistema. Este trabalho é
uma extensão natural do sistema desenvolvido pelo Professor Fernando Ferreira da
Universidade de Lisboa, que trata das funções computáveis em tempo polinomial

Identiferoai:union.ndltd.org:IBICT/oai:repositorio.ufpe.br:123456789/1300
Date31 January 2008
CreatorsFelix Lopes da Silva, Emmanuel
ContributorsJosé Guerra Barreto de Queiroz, Ruy
PublisherUniversidade Federal de Pernambuco
Source SetsIBICT Brazilian ETDs
LanguagePortuguese
Detected LanguagePortuguese
Typeinfo:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/doctoralThesis
Sourcereponame:Repositório Institucional da UFPE, instname:Universidade Federal de Pernambuco, instacron:UFPE
Rightsinfo:eu-repo/semantics/openAccess

Page generated in 0.0017 seconds