Rankings
Publications
Search Publications
Cited-By Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Login
Register
Home
Publications
Towards automatic program synthesis
Home
Publications
Towards automatic program synthesis
Towards automatic program synthesis
Zohar Manna
Zohar Manna
Richard J. Waldinger
Richard J. Waldinger
Publisher Website
Google Scholar
Add to Library
Cite
Download
Share
Download
1 January 1971
book chapter
Published by
Springer Nature
p.
270-310
https://doi.org/10.1007/bfb0059702
Abstract
No abstract available
Keywords
THEOREM PROVER
PROGRAM FORM
INDUCTION RULE
INDUCTION PRINCIPLE
RECURSIVE PROGRAM
Cited by 18 articles