scientific article; zbMATH DE number 3566148
From MaRDI portal
Publication:4138113
zbMath0363.68043MaRDI QIDQ4138113
Publication date: 1972
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) Turing machines and related notions (03D10) Algorithms in computer science (68W99)
Related Items (3)
Reliability theory of program testing ⋮ Computational complexity of formal translations ⋮ Syntax and semantics of universal programming languages
This page was built for publication: