An intensional fixed point theory over first order arithmetic.

Published in: Ann. Pure Appl. Log. (2004)

Keyphrases

fixed point
floating point
quantifier free
higher order
first order logic
constraint databases
quantifier elimination
sufficient conditions
belief propagation
dynamical systems
fixed point theorem
bayesian networks
data integration
data exchange
policy iteration