Login / Signup

Intuitionistic fixed point theories over set theories.

Toshiyasu Arai
Published in: Arch. Math. Log. (2015)
Keyphrases
  • fixed point
  • linear logic
  • markov random field
  • image sequences
  • multi view
  • stationary points