Formalization of properties of recursively defined functions

DOI10.1145/800169.805434zbMath1283.03073OpenAlexW2071011601MaRDI QIDQ5402519

Amir Pnueli, Zohar Manna

Publication date: 14 March 2014

Published in: Proceedings of the first annual ACM symposium on Theory of computing - STOC '69 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/800169.805434

Mathematics Subject Classification ID

Classical first-order logic (03B10) Recursive functions and relations, subrecursive hierarchies (03D20)

Related Items

Formalization of equivalence of recursively defined functions ⋮ Formalization of correctness of recursive definitions