A note on negative tagging for least fixed-point formulae.

Dilian Gurov Bruce M. Kapron

Published in: RAIRO Theor. Informatics Appl. (1999)

Keyphrases

fixed point
sufficient conditions
dynamical systems
floating point
fixed point theorem
belief propagation
policy iteration
bargaining solution
database
variational inequalities