Browsing by Advisor

Now showing items 1-2 of 2

    • Computation using s-programs 

      Wen, Yandan (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 

      Service, Geraldine S.
      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 ...