Polish notation
From MaRDI portal
Publication:500020
DOI10.1515/FORMA-2015-0014zbMATH Open1321.03053OpenAlexW4237554050MaRDI QIDQ500020FDOQ500020
Authors: Taneli Huuskonen
Publication date: 7 October 2015
Published in: Formalized Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1515/forma-2015-0014
Recommendations
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Mechanization of proofs and logical operations (03B35)
Cites Work
Cited In (8)
- On some properties of reverse Polish notation
- On the ambiguation of Polish notation
- Between Polish and completely Baire
- Prime representing polynomial with 10 unknowns -- introduction
- Arthur N. Prior on ‘Unquestionably the Best Logical Symbolism for Most Purposes’
- Title not available (Why is that?)
- Grzegorczyk's logics. I
- The Ajdukiewicz calculus, Polish notation and Hilbert-style proofs
This page was built for publication: Polish notation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q500020)