scientific article; zbMATH DE number 3305016

zbMATH Open0192.06302MaRDI QIDQ5586320FDOQ5586320

Authors: A. Caracciolo di Forino 

Publication date: 1966

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

zbMATH Keywords

constructive mathematicsrecursion theory

Mathematics Subject Classification ID

Computability and recursion theory (03D99)

Cited In (6)

• Title not available (Why is that?)
• A Markov Algorithm Interpreter
• SEMANOL (73), a metalanguage for programming the semantics of programming languages
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)