Recursive definitions and fixed-points on well-founded structures.

Francicleber Martins Ferreira Ana Teresa C. Martins

Published in: Theor. Comput. Sci. (2011)

Keyphrases

fixed point
dynamical systems
linear logic
sufficient conditions
approximate value iteration
initial conditions
asymptotic properties
free energy
upper bound
belief propagation
neural network
image reconstruction
temporal difference learning
stationary points