On Symmetric Circuits and Fixed-Point Logics.

Matthew Anderson Anuj Dawar

Published in: Theory Comput. Syst. (2017)

Keyphrases

fixed point
default logic
expressive power
sufficient conditions
modal logic
floating point
dynamical systems
fixed point theorem
constraint databases
preprocessing
dynamic programming
least squares
higher order