A Versatile Precompiler for Nonstandard Arithmetics
From MaRDI portal
Publication:4184306
DOI10.1145/355826.355834zbMath0399.68039OpenAlexW2076005991MaRDI QIDQ4184306
Publication date: 1979
Published in: ACM Transactions on Mathematical Software (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/355826.355834
Data structures (68P05) Theory of operating systems (68N25) Nonstandard arithmetic (number-theoretic aspects) (11U10)
Related Items (1)
Uses Software
This page was built for publication: A Versatile Precompiler for Nonstandard Arithmetics