scientific article; zbMATH DE number 3203821

MaRDI QIDQ5330638zbMATH OpenFDO

Authors Hans Hermes

Publication date 1965

zbMATH Keywords

mathematical logic

Cited in

(6)

• On effectively computable realizations of choice functions
• Computable stack functions for semantics of stack programs
• Simulating Turing machines on Maurer machines
• Tutor - a Turing machine simulator
• Folding left and right matters: Direct style, accumulators, and continuations
• Galois stratification over Frobenius fields

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