- On monotonous mappings of complete lattices V. Devidé Mon 13 May 2013
- Efficient fixpoint computation B. Vergauwen J. Wauman J. Lewi Mon 13 May 2013
- The complexity of Tarski's fixed point theorem Ching-Lueh Chang Yuh-Dauh Lyuu Yen-Wu Ti Mon 13 May 2013
- A Characterization of Complete Lattices Anne C. Davis Fri 10 May 2013
- A Note on Complete Lattices and Tarski's Fixed Point Theorem Anna Ingolfsdottir Luca Aceto Kim G. Larsen Fri 10 May 2013
- A Lattice-Theoretical Fixpoint Theorem and Its Applications Alfred Tarski Thu 09 May 2013
- Tractable Constraints in Finite Semilattices Jakob Rehof Torben Æ. Mogensen Wed 30 January 2013
- A short and constructive proof of Tarski's fixed-point theorem Federico Echenique Tue 04 December 2012
- Constructive Versions of Tarski's Fixed Point Theorems P. Cousot R. Cousot Tue 04 December 2012
Library Size: 13G (9 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
