On the existence of optimal fixpoints

DOI10.1007/BF01744296zbMath0445.06002OpenAlexW1984841658MaRDI QIDQ3889105

Jean H. 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

recursive definitionchain-complete posetbounded joinsconsistent fixpointslower semi-latticemaximal fixpointsoptimal fixpoint

Mathematics Subject Classification ID

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

Related Items (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

Cites Work

• Chain-complete posets and directed sets with applications
• The convergence of functions to fixedpoints of recursive definitions
• A lattice-theoretical fixpoint theorem and its applications
• A characterization of complete lattices
• The Theoretical Aspects of the Optimal Fixedpoint
• Unnamed Item
• Unnamed Item
• Unnamed Item

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