Login / Signup

An Infinitary System for the Least Fixed-Point Logic restricted to Finite Models.

Alexandre Matos ArrudaAna Teresa C. Martins
Published in: LSFA (2007)
Keyphrases
  • fixed point
  • probabilistic model
  • computer vision
  • image processing
  • sufficient conditions
  • dynamical systems
  • floating point
  • fixed point theorem
  • real valued