scientific article; zbMATH DE number 3547271

zbMath0352.02028MaRDI QIDQ4121883

B. A. Trakhtenbrot

Publication date: 1976

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45) Pattern recognition, speech recognition (68T10) General topics in the theory of software (68N01) Algorithms in computer science (68W99) Higher-type and set recursion theory (03D65) Hierarchies of computability and definability (03D55)

Related Items

Recursive programs and denotational semantics in absolute logics of programs ⋮ A logic of recursion