scientific article; zbMATH DE number 3547271

MaRDI QIDQ4121883zbMATHFDO

Authors B. A. Trakhtenbrot

Publication date 1976

Mathematics Subject Classification ID

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

Cited in

(2)

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

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 Q4121883)