Login / Signup

A characterization of definability of second-order generalized quantifiers with applications to non-definability.

Juha KontinenJakub Szymanik
Published in: J. Comput. Syst. Sci. (2014)
Keyphrases
  • fixed point
  • propositional logic
  • first order logic
  • finite model theory
  • databases
  • data structure
  • image processing
  • website
  • artificial neural networks
  • sufficient conditions
  • dynamical systems