scientific article; zbMATH DE number 3305016

MaRDI QIDQ5586320zbMATH OpenFDO

Authors A. Caracciolo di Forino

Publication date 1966

zbMATH Keywords

constructive mathematicsrecursion theory

Mathematics Subject Classification ID

Computability and recursion theory (03D99)

Cited in

(6)

• scientific article; zbMATH DE number 3748411 (Why is no real title available?)
• A Markov Algorithm Interpreter
• SEMANOL (73), a metalanguage for programming the semantics of programming languages
• scientific article; zbMATH DE number 3754070 (Why is no real title available?)
• scientific article; zbMATH DE number 3574987 (Why is no real title available?)
• A conditional functional three-handling generalized Markov algorithm which interprets a nondeterministic abstract machine

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