Least reflexive points of relations
From MaRDI portal
Publication:815002
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
fixed pointcomplete latticepartial ordergreatest reflexive pointinflationary relationleast reflexive point
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
This page was built for publication: Least reflexive points of relations