On the Bisimulation Invariant Fragment of Monadic S1 in the Finite.

Anuj Dawar David Janin

Published in: FSTTCS (2004)

Keyphrases

deductive databases
datalog queries
affine invariant
invariant representations
affine transformation
finite number
invariant properties
valued logic
data sets
object recognition
query answering
invariant features
optimal planning
equational theories