General computability theory (a database of articles and books)

MaRDI QIDQ2898992zbMATH OpenFDO

Authors I. A. Lavrov

Publication date 13 July 2012

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

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)

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

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)