Login / Signup
The non-constructive mu operator, fixed point theories with ordinals, and the bar rule.
Thomas Strahm
Published in:
Ann. Pure Appl. Log. (2000)
Keyphrases
</>
fixed point
sufficient conditions
belief propagation
floating point
dynamical systems
constraint databases
free energy
bargaining solution
fixed point theorem
database
variational inequalities
learning algorithm
higher order
markov decision processes