Skip to Main content Skip to Navigation
Journal articles

On diagonal fixed points of increasing functions

Abstract : It is shown that the least fixed point and greatest fixed point operations of an increasing function a of two arguments over a complete lattice commute if the function is right-associative. (C) 1999 Published by Elsevier Science B.V. All rights reserved.
Document type :
Journal articles
Complete list of metadatas

https://hal-upec-upem.archives-ouvertes.fr/hal-00693893
Contributor : Admin Ligm <>
Submitted on : Thursday, May 3, 2012 - 9:09:02 AM
Last modification on : Wednesday, February 26, 2020 - 7:06:06 PM

Links full text

Identifiers

Collections

Citation

L Colson. On diagonal fixed points of increasing functions. Theoretical Computer Science, Elsevier, 1999, 222 (1-2), pp.181--186. ⟨10.1016/S0304-3975(98)00331-4⟩. ⟨hal-00693893⟩

Share

Metrics

Record views

209