scientific article; zbMATH DE number 3286027

MaRDI QIDQ5569445zbMATH OpenFDO

Authors Hans Hermes

Publication date 1969

zbMATH Keywords

recursion theory, constructive mathematics

Cited in

(5)

• A note on the notation of recursion in process algebras
• The fixed point problem of a simple reversible language
• The efficiency of primitive recursive functions: a programmer's view
• From mathesis universalis to provability, computability, and constructivity
• Universality and programmability of quantum computers

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