TY - JOUR
T1 - Fixed-point calculus
AU - Aarts, C.
AU - Backhouse, R.C.
AU - Boiten, E.A.
AU - Doornbos, H.
AU - Gasteren, van, A.J.M.
AU - Geldrop - van Eijk, van, H.P.J.
AU - Hoogendijk, P.F.
AU - Voermans, T.S.
AU - Woude, van der, J.C.S.P.
PY - 1995
Y1 - 1995
N2 - The aim of this paper is to present a small calculus of extreme fixed points and to show it in action. The fixed-point theorem that was the main incentive for writing this paper is the fusion theorem presented in Section 3. It exploits the calculational properties of Galois connections.
AB - The aim of this paper is to present a small calculus of extreme fixed points and to show it in action. The fixed-point theorem that was the main incentive for writing this paper is the fusion theorem presented in Section 3. It exploits the calculational properties of Galois connections.
U2 - 10.1016/0020-0190(94)00195-5
DO - 10.1016/0020-0190(94)00195-5
M3 - Article
SN - 0020-0190
VL - 53
SP - 131
EP - 136
JO - Information Processing Letters
JF - Information Processing Letters
IS - 3
ER -