An Analysis of a Logical Machine Using Parenthesis-Free Notation

DOI10.2307/2001990MaRDI QIDQ5831317zbMATH OpenOpenAlexWikidataFDO

Authors Arthur Burks, Don W. Warren, Jesse B. Wright

Publication date 1954

Published in Mathematical Tables and Other Aids to Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2001990

zbMATH Keywords

philosophy and foundations of mathematics

Cited in

(2)

• Alternating and empty alternating auxiliary stack automata.
• A fast algorithm for non-negativity model selection

This page was built for publication: An Analysis of a Logical Machine Using Parenthesis-Free Notation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5831317)