Login / Signup
A characterization of definability of second-order generalized quantifiers with applications to non-definability.
Juha Kontinen
Jakub 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