scientific article; zbMATH DE number 3566148

MaRDI QIDQ4138113zbMATH OpenFDO

Authors Richard Hamlet

Publication date 1972

Mathematics Subject Classification ID

Turing machines and related notions (03D10) Recursive functions and relations, subrecursive hierarchies (03D20) General topics in the theory of software (68N01) Algorithms in computer science (68W99)

Cited in

(3)

• Reliability theory of program testing
• Computational complexity of formal translations
• Syntax and semantics of universal programming languages

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4138113)