FORMALIZATION OF PROPERTIES OF RECURSIVELY DEFINED FUNCTIONS,

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)

Document Details

• Document Type: Technical Report
• Publication Date: Mar 12, 1969
• Accession Number: AD0685614

Entities

People

• Amir Pnueli
• Zohar Manna

Organizations

• Stanford University