Accession Number : AD0685614

Title :   FORMALIZATION OF PROPERTIES OF RECURSIVELY DEFINED FUNCTIONS,

Corporate Author : STANFORD UNIV CALIF DEPT OF COMPUTER SCIENCE

Personal Author(s) : Manna,Zohar ; Pnueli,Amir

Report Date : 12 MAR 1969

Pagination or Media Count : 26

Abstract : The paper is concerned with the relationship between the convergence, correctness and equivalence of recursively defined functions and the satisfiability (or unsatisfiability) of certain first-order formulas. (Author)

Descriptors :   (*ARTIFICIAL INTELLIGENCE, MATHEMATICAL LOGIC), (*MATHEMATICAL LOGIC, *RECURSIVE FUNCTIONS), LEARNING MACHINES, SET THEORY, ALGORITHMS

Subject Categories : Theoretical Mathematics
      Bionics

Distribution Statement : APPROVED FOR PUBLIC RELEASE