Login / Signup
An Infinitary System for the Least Fixed-Point Logic restricted to Finite Models.
Alexandre Matos Arruda
Ana 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