On Non-wellfounded Sets as Fixed Points of Substitutions.

Tapani Hyttinen Matti Pauna

Published in: Notre Dame J. Formal Log. (2001)

Keyphrases

fixed point
dynamical systems
sufficient conditions
belief propagation
approximate value iteration
linear logic
temporal difference learning
pairwise
initial conditions
stationary points
asymptotic properties
computer vision
free energy