Login / Signup
The nature and power of fixed-point logic with counting.
Anuj Dawar
Published in:
ACM SIGLOG News (2015)
Keyphrases
</>
fixed point
linear logic
dynamical systems
belief propagation
floating point
fixed point theorem
constraint databases
graphical models
sufficient conditions
default logic
logic programming
variational inequalities
modal logic
bargaining solution