scientific article; zbMATH DE number 530148
From MaRDI portal
Publication:4285775
zbMath0792.03027MaRDI QIDQ4285775
Publication date: 17 March 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Turing machinecomputabilityrecursive functionsRice's theoremrecursion theoremrecursive function theoryAckermann's functionabstract complexity theoryeffective enumerationscomputable real numbers and functions
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (13)
On recursive bounds for the exceptional values in speed-up ⋮ The homology of \(SL_2\) of discrete valuation rings ⋮ Thompson-like groups, Reidemeister numbers, and fixed points ⋮ Tambara-Yamagami, loop groups, bundles and KK-theory ⋮ Relative order and spectrum in free and related groups ⋮ A refined scissors congruence group and the third homology of \(\operatorname{SL}_2\) ⋮ Computable preference and utility ⋮ Effective category and measure in abstract complexity theory ⋮ Effective category and measure in abstract complexity theory ⋮ Weakly complete axiomatization of exogenous quantum propositional logic ⋮ Schur multipliers and second quandle homology ⋮ Homology of \(GL_n\) over infinite fields outside the stability range ⋮ A computable version of the random signs problem and Kolmogorov complexity
This page was built for publication: