Login / Signup

Formal Treatment of a Family of Fixed-Point Problems on Graphs by CafeOBJ.

Tetsuo Tamai
Published in: ICFEM (2000)
Keyphrases
  • fixed point
  • formal treatment
  • dynamical systems
  • floating point
  • variational inequalities
  • stationary points
  • sufficient conditions