Implementing Nonstandard Arithmetics
From MaRDI portal
Publication:4178488
DOI10.1137/1021003zbMATH Open0395.68040OpenAlexW2045589239MaRDI QIDQ4178488FDOQ4178488
Authors: J. M. Yohe
Publication date: 1979
Published in: SIAM Review (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1137/1021003
Theory of software (68N99) Nonstandard models of arithmetic (03H15) Theory of operating systems (68N25) Nonstandard arithmetic (number-theoretic aspects) (11U10)
Cited In (1)
This page was built for publication: Implementing Nonstandard Arithmetics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4178488)