scientific article; zbMATH DE number 3508476
From MaRDI portal
Publication:4088800
zbMath0325.02026MaRDI QIDQ4088800
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
General topics in the theory of software (68N01) Computability and recursion theory (03D99) Algorithms in computer science (68W99) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Related Items (7)
Unnamed Item ⋮ Definability by programs in first-order structures ⋮ Query languages for hierarchic databases ⋮ Necessary and sufficient conditions for the universality of programming formalisms ⋮ Equivalences among logics of programs ⋮ Real number computation through Gray code embedding. ⋮ Some thoughts on computational models: from massive human computing to abstract state machines, and beyond
This page was built for publication:
