Least reflexive points of relations

DOI10.1007/s10990-005-7006-5zbMath1081.06001OpenAlexW2053771722MaRDI QIDQ815002

Bernhard Möller, Jules Desharnais

Publication date: 8 February 2006

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/54134

zbMATH Keywords

fixed pointcomplete latticepartial ordergreatest reflexive pointinflationary relationleast reflexive point

Mathematics Subject Classification ID

Partial orders, general (06A06) Complete lattices, completions (06B23) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

Imperative abstractions for functional actions ⋮ Monotone Relations, Fixed Points and Recursive Definitions ⋮ Least reflexive points of relations ⋮ Relation-algebraic computation of fixed points with applications

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fixed-point calculus
• Least reflexive points of relations
• Program derivation by fixed point computation
• A lattice-theoretical fixpoint theorem and its applications

This page was built for publication: Least reflexive points of relations