Manna, Zohar; Shamir, Adi The theoretical aspects of the optimal fixedpoint. (English) Zbl 0358.68017 SIAM J. Comput. 5, 414-426 (1976). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 15 Documents MSC: 68N01 General topics in the theory of software 03D20 Recursive functions and relations, subrecursive hierarchies PDF BibTeX XML Cite \textit{Z. Manna} and \textit{A. Shamir}, SIAM J. Comput. 5, 414--426 (1976; Zbl 0358.68017) Full Text: DOI Link