The convergence of functions to fixedpoints of recursive definitions

DOI10.1016/0304-3975(78)90033-6MaRDI QIDQ1254993zbMATH OpenOpenAlexFDO

Authors 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)

Cites work

• A lattice-theoretical fixpoint theorem and its applications
• scientific article; zbMATH DE number 3550181 (Why is no real title available?)
• scientific article; zbMATH DE number 3430635 (Why is no real title available?)
• scientific article; zbMATH DE number 3190627 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• The convergence of functions to fixedpoints of recursive definitions
• The Theoretical Aspects of the Optimal Fixedpoint

Cited in

(10)

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

This page was built for publication: The convergence of functions to fixedpoints of recursive definitions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1254993)