Complete Axioms for Categorical Fixed-Point Operators.

Alex K. Simpson Gordon D. Plotkin

Published in: LICS (2000)

Keyphrases

fixed point
closure operator
sufficient conditions
dynamical systems
belief propagation
floating point
bargaining solution
fixed point theorem
constraint databases
knowledge base
graphical models
first order logic
variational inequalities
image processing
dynamic programming
logic programs