The convergence of functions to fixedpoints of recursive definitions

DOI10.1016/0304-3975(78)90033-6zbMath0401.03016OpenAlexW2054241821MaRDI QIDQ1254993

Zohar Manna, Adi Shamir

Publication date: 1978

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(78)90033-6

zbMATH Keywords

Convergence of Functions to Fixedpoints of Recursive DefinitionsHigher-Type Recursion TheoryPartial Recursive FunctionalRecursion Equations

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Higher-type and set recursion theory (03D65)

Related Items

Correctness of fixpoint transformations, A dual problem to least fixed points, Fixed point theorems and semantics: A folk tale, Iterative belief revision in extended logic programming, Extremal solutions of inequations over lattices with applications to supervisory control, The convergence of functions to fixedpoints of recursive definitions, On the existence of optimal fixpoints, Four valued semantics and the Liar, On the fixpoints of nondeterministic recursive definitions

Cites Work

• The convergence of functions to fixedpoints of recursive definitions
• A lattice-theoretical fixpoint theorem and its applications
• The Theoretical Aspects of the Optimal Fixedpoint
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item