scientific article; zbMATH DE number 3595166
From MaRDI portal
Publication:4163516
zbMath0383.03023MaRDI QIDQ4163516
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Constructive and recursive analysis (03F60) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Algorithms in computer science (68W99) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Computability and recursion theory (03Dxx)
Related Items
The equivalence of some general combinatorial decision problems ⋮ Expressive power of typed and type-free programming languages ⋮ The word problem and the isomorphism problem for groups
