On the existence of optimal fixpoints

DOI10.1007/BF01744296MaRDI QIDQ3889105zbMATH OpenOpenAlexFDO

Authors Jean Gallier

Publication date 1980

Published in Mathematical Systems Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01744296

zbMATH Keywords

bounded joinschain-complete posetconsistent fixpointslower semi-latticemaximal fixpointsoptimal fixpointrecursive definition

Mathematics Subject Classification ID

Partial orders, general (06A06) Semilattices (06A12) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of computing (68Q99)

Cites work

• A characterization of complete lattices
• A lattice-theoretical fixpoint theorem and its applications
• Chain-complete posets and directed sets with applications
• scientific article; zbMATH DE number 3657802 (Why is no real title available?)
• scientific article; zbMATH DE number 3777562 (Why is no real title available?)
• scientific article; zbMATH DE number 3550181 (Why is no real title available?)
• The convergence of functions to fixedpoints of recursive definitions
• The Theoretical Aspects of the Optimal Fixedpoint

Cited in

(4)

• Merging regular processes by means of fixed-point theory
• Partial models and logic programming
• Generalizations of Tarski's fixed point theorem for order varieties of complete meet semilattices
• Fixed point theorems and semantics: A folk tale

This page was built for publication: On the existence of optimal fixpoints

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