Login / Signup
An analysis of the equational properties of the well-founded fixed point.
Arnaud Carayol
Zoltán Ésik
Published in:
J. Log. Algebraic Methods Program. (2017)
Keyphrases
</>
fixed point
dynamical systems
sufficient conditions
multi view
floating point
variational inequalities