A Characterisation of the Least-Fixed-Point Operator by Dinaturality.

Alex K. Simpson

Published in: Theor. Comput. Sci. (1993)

Keyphrases

fixed point
sufficient conditions
floating point
dynamical systems
constraint databases
variational inequalities
fixed point theorem
higher order
bargaining solution
database
high quality
policy iteration