共 50 条
- [11] Tarski's Fixed-Point Theorem And Lambda Calculi With Monotone Inductive Types [J]. Synthese, 2002, 133 : 107 - 129
- [17] GENERALIZATIONS OF TARSKI FIXED-POINT THEOREM FOR ORDER VARIETIES OF COMPLETE MEET SEMILATTICES [J]. ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 1989, 5 (04): : 381 - 392
- [19] An Arbitrary Starting Simplicial Algorithm for Constructively Proving Tarski's Fixed Point Theorem on an n-dimensional Box [J]. OPERATIONS RESEARCH AND ITS APPLICATIONS, PROCEEDINGS, 2008, 8 : 470 - 476
- [20] Subrahmanyam's fixed point theorem [J]. NONLINEAR ANALYSIS-THEORY METHODS & APPLICATIONS, 2009, 71 (5-6) : 1678 - 1683