Funções parciais recursivas e funções parcialmente Turing-computáveis: uma prova de equivalência
Submitted by Maike Costa (maiksebas@gmail.com) on 2017-09-20T12:52:54Z No. of bitstreams: 1 arquivototal.pdf: 1155001 bytes, checksum: c813651173e6bf037a98328b32bc7d5a (MD5) === Made available in DSpace on 2017-09-20T12:52:54Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 1155001 bytes, checksum:...
Main Author: | Melo, Gustavo Cavalcanti |
---|---|
Other Authors: | Dias, Matias Francisco |
Format: | Others |
Language: | Portuguese |
Published: |
Universidade Federal da Paraíba
2017
|
Subjects: | |
Online Access: | http://tede.biblioteca.ufpb.br:8080/handle/tede/9586 |
Similar Items
-
Funções recursivas primitivas: caracterização e alguns resultados para esta classe de funções
by: Gomes, Victor pereira
Published: (2016) -
Investigating Structure in Turing Categories
by: Vinogradova, Polina
Published: (2012) -
Investigating Structure in Turing Categories
by: Vinogradova, Polina
Published: (2012) -
Investigating Structure in Turing Categories
by: Vinogradova, Polina
Published: (2012) -
Investigating Structure in Turing Categories
by: Vinogradova, Polina
Published: (2012)