Login / Signup
Layered Fixed Point Logic
Piotr Filipiuk
Flemming Nielson
Hanne Riis Nielson
Published in:
CoRR (2012)
Keyphrases
</>
fixed point
linear logic
sufficient conditions
logic programming
floating point
dynamical systems
belief propagation
modal logic
variational inequalities
constraint databases
image retrieval
policy iteration