Accession Number : AD0709413

Title :   THEORIES OF COMPUTATION.

Descriptive Note : Final rept. 15 Jan 69-14 Jan 70,

Corporate Author : HEBREW UNIV JERUSALEM (ISRAEL) INST OF MATHEMATICS

Personal Author(s) : Rabin,M. O.

Report Date : JUN 1970

Pagination or Media Count : 4

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)

Descriptors :   (*MATHEMATICAL LOGIC, REPORTS), (*SET THEORY, REPORTS), (*CONTEXT FREE GRAMMARS, REPORTS), (*SEMANTICS, REPORTS), AUTOMATA, ISRAEL

Subject Categories : Linguistics
      Theoretical Mathematics

Distribution Statement : APPROVED FOR PUBLIC RELEASE