A Count Invariant for Lambek Calculus with Additives and Bracket Modalities.

Oriol Valentín Daniel Serret Glyn Morrill

Published in: FG (2013)

Keyphrases

affine invariant
algebraic structure
multimedia
computer algebra
neural network
machine learning
information retrieval
decision trees
multiscale
affine transformation
translation invariant
automated deduction