General computability theory (a database of articles and books)

zbMATH Open1249.68312MaRDI QIDQ2898992FDOQ2898992

Authors: I. A. Lavrov 

Publication date: 13 July 2012

Published in: Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika (Search for Journal in Brave)

Recommendations

• scientific article; zbMATH DE number 3987247
• scientific article; zbMATH DE number 1955470
• Handbook of computability theory
• scientific article; zbMATH DE number 480999
• Handbook of recursive mathematics. Vol. 1: Recursive model theory

zbMATH Keywords

reducibilitycomputabilityrecursively enumerable set

Mathematics Subject Classification ID

Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Computability and recursion theory (03D99)

Cited In (1)

• Directions for computability theory beyond pure mathematical

This page was built for publication: General computability theory (a database of articles and books)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2898992)