Login / Signup

A Proof of Tarski's Fixed Point Theorem by Application of Galois Connections.

Marek Nowak
Published in: Stud Logica (2015)
Keyphrases
  • fixed point theorem
  • fixed point
  • lower bound
  • multiresolution
  • input image
  • linear programming