Certification of Algorithm 93: General order arithmetic

• 1 October 1962
• journal article
• Published by Association for Computing Machinery (ACM) in Communications of the ACM
• Vol. 5  (10) , 514
• https://doi.org/10.1145/368959.368990

Abstract

Keywords

• GENERAL ORDER ARITHMETIC