THEORIES OF COMPUTATION.

Abstract

The work on Theories of Computation by Y. Bar-Hillel, E. Shamir, A. Levy, H. Gaifman, M. Rabin, B. Gabbay, M. Magidor and G. Moran is briefly reported. A bibliography of seventeen technical reports and articles containing the results of this effort is given. (Author)

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 1970
Accession Number
AD0709413

Entities

People

  • M. O. Rabin

Organizations

  • Hebrew University of Jerusalem

Tags

DTIC Thesaurus Topics

  • Bibliographies
  • Computations
  • Mathematical Analysis

Readers

  • Mathematical Modeling and Probability Theory.
  • Technical Research and Report Writing.