The complexity of Tarski s fixed point theorem

Ching-Lueh Chang, Yuh-Dauh Lyuu, Yen-Wu Ti. The complexity of Tarski s fixed point theorem. Theoretical Computer Science, 401(1-3):228-235, 2008. [doi]

Abstract

Abstract is missing.