Login / Signup
A Syntactic Approach to Fixed Point Computation on Finite Domains.
Tyng-Ruey Chuang
Benjamin Goldberg
Published in:
LISP and Functional Programming (1992)
Keyphrases
</>
fixed point
dynamical systems
floating point
sufficient conditions
belief propagation
finite number
markov chain
depth map
policy iteration
constraint databases
bargaining solution