Introduction to mathematical logic (3rd ed.)
Introduction to mathematical logic (3rd ed.)
Termination of algorithms
Properties of Programs and the First-Order Predicate Calculus
Journal of the ACM (JACM)
An Assessment of Techniques for Proving Program Correctness
ACM Computing Surveys (CSUR)
Another recursion induction principle
Communications of the ACM
The application of formal logic to programs and programming
IBM Systems Journal
Hi-index | 0.02 |
This 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.