scientific article; zbMATH DE number 3300605

zbMATH Open0188.33101MaRDI QIDQ5582341FDOQ5582341

Authors: J. W. de Bakker 

Publication date: 1969

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

zbMATH Keywords

languages, automata, networks

Cited In (4)

• Simple section interchange and properties of non-computable functions
• A survey of state vectors
• Axiomatization of if-then-else over possibly non-halting programs and tests
• 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 Q5582341)