scientific article; zbMATH DE number 3547271

zbMATH Open0352.02028MaRDI QIDQ4121883FDOQ4121883

Authors: B. A. Trakhtenbrot 

Publication date: 1976

Title of this publication is not available (Why is that?)

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)