Recursive programs as functions in a first order theory
- 1 January 1979
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 576-629
- https://doi.org/10.1007/3-540-09541-1_40
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- First order programming logicPublished by Association for Computing Machinery (ACM) ,1979
- Reasoning about recursively defined data structuresPublished by Association for Computing Machinery (ACM) ,1978
- Subgoal inductionCommunications of the ACM, 1977
- A Mathematical Incompleteness in Peano ArithmeticPublished by Elsevier ,1977
- Inductive methods for proving properties of programsCommunications of the ACM, 1973
- Formalization of Properties of Functional ProgramsJournal of the ACM, 1970
- A Basis for a Mathematical Theory of Computation)Published by Elsevier ,1963