Constructive versions of Tarski’s fixed point theorems

Abstract interpretation

Patrick Cousot, Radhia Cousot · 1977 · 6.2K citations

Computing, Computer Science, Compilers +8

A lattice-theoretical fixpoint theorem and its applications

Alfred Tarski · Pacific Journal of Mathematics · 1955 · 2.7K citations · Full text

Natural Sciences, Computer Science, Mathematics +9

Fixed Point Equations and Nonlinear Eigenvalue Problems in Ordered Banach Spaces

Herbert Amann · SIAM Review · 1976 · 1.9K citations

Natural Sciences, Mathematics, Computational Mechanics +16

Providence, Rhode Island

Al Young · The Iowa Review · 1975 · 626 citations · Full text

Constructive versions of Tarski’s fixed point theorems

Patrick Cousot, Radhia Cousot · Pacific Journal of Mathematics · 1979 · 253 citations · Full text

Natural Sciences, Computer Science, Mathematics +10