On Fixed-Point Logic With Counting.

Jörg Flum Martin Grohe

Published in: J. Symb. Log. (2000)

Keyphrases

fixed point
linear logic
sufficient conditions
belief propagation
floating point
modal logic
dynamical systems
fixed point theorem
constraint databases
default logic
relational databases
logic programming
multi view
high resolution
variational inequalities
preprocessing
high quality