100% acharam este documento útil
Carregando
Escolar Documentos
Profissional Documentos
Cultura Documentos
Documento
Type Systems
Adicionado por nenekotan
Documento
Slides Gödels Incompleteness Theorems
Adicionado por nenekotan
Documento
Slides Church-Turing Thesis (MoC)
Adicionado por nenekotan
Documento
Linking Interaction Nets and Post Canonical Systems
Adicionado por nenekotan
Documento
Post's Correspondence Problem
Adicionado por nenekotan