USING NONSTANDARD ANALYSIS TO ENSURE THE CORRECTNESS OF SYMBOLIC COMPUTATIONS

Author:

Publisher website

1 September 1995

journal article
research article
Published by World Scientific Pub Co Pte Ltd in International Journal of Foundations of Computer Science

Vol. 06 (03) , 299-338
DOI:10.1142/s0129054195000172

Abstract

No abstract available

Keywords

Cited by 9 articles