The complexity of Tarski’s fixed point theorem

Resource

Theoretical Computer Science 401 (1-3): 228-235

Journal

Theoretical Computer Science

Journal Volume

401

Journal Issue

1-3

Pages

228-235

Date Issued

2008

Date

2008

Author(s)

Chang, Ching-Lueh

Ti, Yen-Wu

DOI

URI

Type

journal article

File(s)

Name

19.pdf

Size

407.79 KB

Format

Adobe PDF

Checksum

(MD5):a565ab8de02a5a26ac2abc1ff1630301