Browsing by Advisor
Now showing items 1-2 of 2
-
Computation using s-programs
(1987)The concepts of S and Sn programs are given by Davis, Weyuker, 1983. Several parts of the complexity theory are carried out directly for S and Sn programs. The concepts of non-deterministic and deterministic computation ... -
Non-standard analysis / by Geraldine S. Service
This thesis is a study of several theories of Non-standard Analysis. Particular attention is paid to the theories presented by A. Robinson and E. Zakon. Chapter I contains background information from Mathematical ...