Login / Signup

When Do Fixed Point Logics Capture Complexity Classes?

Anil Seth
Published in: LICS (1995)
Keyphrases
  • fixed point
  • sufficient conditions
  • dynamical systems
  • expressive power
  • floating point
  • constraint databases
  • belief propagation
  • default logic
  • fixed point theorem
  • database
  • decision problems
  • worst case
  • modal logic