 |
HAL UPEC - UPEM Portal |  |
 |
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.
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
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
