scientific article; zbMATH DE number 1301806

MaRDI QIDQ4247024zbMATH OpenFDO

Authors Yiannis N. Moschovakis

Publication date 15 November 1999

zbMATH Keywords

foundations of algorithm theory

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Foundations of classical theories (including reverse mathematics) (03B30) Recursive functions and relations, subrecursive hierarchies (03D20)

Recommendations

• scientific article; zbMATH DE number 3934393
• Algorithms and algorithmic problems
• scientific article; zbMATH DE number 41324
• Algorithms and the mathematical foundations of computer science
• scientific article; zbMATH DE number 711994

Cited in

(9)

• Algorithms and algorithmic problems
• The never-ending recursion
• A game-semantic model of computation
• Execution trace sets for real computation
• scientific article; zbMATH DE number 1515258 (Why is no real title available?)
• Algorithmic theories of problems. A constructive and a non-constructive approach
• A behavioural theory of recursive algorithms
• Algorithms and the mathematical foundations of computer science
• Towards a geometry of recursion

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