Login / Signup
Least and greatest fixed points in linear logic
David Baelde
Published in:
CoRR (2009)
Keyphrases
</>
linear logic
fixed point
sequent calculus
cut elimination
sufficient conditions
logic programming
belief propagation
logical framework
dynamical systems
free energy
desirable properties
default logic
temporal difference learning
asymptotic properties
image processing
approximate value iteration