scientific article; zbMATH DE number 3560704
From MaRDI portal
Publication:4131618
zbMath0359.68017MaRDI QIDQ4131618
Herbert Egli, Robert L. Constable
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Recursive functions and relations, subrecursive hierarchies (03D20) General topics in the theory of software (68N01) General logic (03B99)
Related Items
\(\mathbb{T}^\omega\) as a universal domain ⋮ Categories of chain-complete posets ⋮ Power domains ⋮ Formal computations of non deterministic recursive program schemes
