| Autor: |
A. J. M. van Gasteren, C.J. Aarts, Roland Backhouse, Paul F. Hoogendijk, Eerke Albert Boiten, T.S. Voermans, Henk Doornbos, J.C.S.P. van der Woude, H.P.J. van Geldrop van Eijk |
| Přispěvatelé: |
Mathematics and Computer Science, Software Engineering and Technology |
| Jazyk: |
angličtina |
| Rok vydání: |
1995 |
| Předmět: |
|
| Zdroj: |
Information Processing Letters, 53(3), 131-136. Elsevier |
| ISSN: |
0020-0190 |
| Popis: |
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. |
| Databáze: |
OpenAIRE |
| Externí odkaz: |
|
