Functions computable by a computer

DOI10.1007/BF02282547zbMath0253.68006MaRDI QIDQ2558001

A. Schurmann

Publication date: 1971

Published in: Studia Logica (Search for Journal in Brave)

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) General topics in the theory of software (68N01) Computability and recursion theory (03D99) Algorithms in computer science (68W99) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Cites Work

• On the definition of computable functionals
• The application of graphs to the analysis of distribution of loops in a program
• A Theory of Computer Instructions
• Unnamed Item
• Unnamed Item

This page was built for publication: Functions computable by a computer