Type-definable and invariant groups in o-minimal structures.

Jana Maríková

Published in: J. Symb. Log. (2007)

Keyphrases

affine invariant
moment invariants
information retrieval
artificial intelligence
multi agent
logic programs
first order logic
expressive power
group members