The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories.

Gerhard Jäger Reinhard Kahle Anton Setzer Thomas Strahm

Published in: J. Symb. Log. (1999)

Keyphrases

fixed point
theoretic analysis
linear logic
sufficient conditions
dynamical systems
floating point
belief propagation
variational inequalities
fixed point theorem
computer vision
image processing
similarity measure
decision makers