P. Cousot & R. Cousot, Constructive Versions of Tarski's Fixed Point Theorems (original) (raw)

Bibliographic reference:

\bibitem{CousotCousot-PJM-82-1-1979} P{.} Cousot and R{.} Cousot. \newblock Constructive versions of Tarski's fixed point theorems. \newblock Pacific Journal of Mathematics, Vol{.} 82, No{.} 1, 1979, pp{.} 43--57.

@article{CousotCousot-PJM-82-1-1979, author = {Cousot, P{.} and Cousot, R{.}}, title = {Constructive Versions of {T}arski's Fixed Point Theorems}, journal = {Pacific Journal of Mathematics}, volume = 81, number = 1, pages = {43--57}, year = 1979, }