A sufficient condition for first order non-definability of arrowing problems

Published in: CoRR (2012)

Keyphrases

sufficient conditions
linear systems
fixed point
lyapunov function
propositional logic
higher order
first order logic
dynamic programming
multi class
linear complementarity problem
asymptotic stability