Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
Formalization of properties of recursively defined functions
Home
Publications
Formalization of properties of recursively defined functions
Formalization of properties of recursively defined functions
Zohar Manna
Zohar Manna
Amir Pnueli
Amir Pnueli
Publisher Website
Google Scholar
Cite
Download
Share
Download
1 January 1969
conference paper
Published by
Association for Computing Machinery (ACM)
https://doi.org/10.1145/800169.805434
Abstract
No abstract available
Cited by 5 articles