scientific article; zbMATH DE number 3286027

zbMATH Open0179.01801MaRDI QIDQ5569445FDOQ5569445

Authors: Hans Hermes 

Publication date: 1969

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

zbMATH Keywords

recursion theory, constructive mathematics

Cited In (5)

• 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
• A note on the notation of recursion in process algebras

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)