Login / Signup

The complexity of first-order and monadic second-order logic revisited.

Markus FrickMartin Grohe
Published in: Ann. Pure Appl. Log. (2004)
Keyphrases
  • first order logic
  • monadic second order logic
  • expressive power
  • machine learning
  • higher order
  • artificial intelligence
  • computational complexity
  • low level
  • dynamic programming
  • tree automata
  • polynomial size