A combinatorial version of the Svenonius theorem on definability.

Alexei L. Semenov Sergey Soprunov

Published in: Log. J. IGPL (2015)

Keyphrases

fixed point
propositional logic
von neumann
decision making
multimedia
image sequences
bayesian networks
digital libraries
multiresolution
mobile robot
np complete