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 LigmConnect in order to contact the contributor Submitted on : Thursday, May 3, 2012 - 9:09:02 AM Last modification on : Saturday, January 15, 2022 - 3:56:04 AM