Cousot, Patrick; Cousot, Radhia Constructive versions of Tarski’s fixed point theorems. (English) Zbl 0413.06004 Pac. J. Math. 82, 43-57 (1979). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 79 Documents MSC: 06B23 Complete lattices, completions Keywords:Tarski’s fixed point theorems; monotone operator; complete lattice; preclosure operator; stationary transfinite iteration sequences; commuting operators PDF BibTeX XML Cite \textit{P. Cousot} and \textit{R. Cousot}, Pac. J. Math. 82, 43--57 (1979; Zbl 0413.06004) Full Text: DOI OpenURL