Uma abordagem modelo-teórica da computabilidade de Turing clássica | Instituto de Filosofia e Ciências Humanas

Autor:

Anderson Araújo

Ano da Defesa:

2011

Orientador:

Walter Alexandre Carnielli

Link para Biblioteca Digital:

http://www.bibliotecadigital.unicamp.br/document/?code=000787718

Banca:

Walter Alexandre Carnielli [Orientador], Antônio Mariano Nogueira Coelho, Marcelo Finger, Hugo Luiz Mariano, Arnaldo Vieira de Moura

Link para Biblioteca Digital:

http://www.repositorio.unicamp.br/handle/REPOSIP/281062

Tipo / Subtipo:

Tese

Programa: