Pieri Rules for Classical Groups and Equinumeration between Generalized Oscillating Tableaux and Semistandard Tableaux.

Published in: Electron. J. Comb. (2016)

Keyphrases

decision procedures
modal logic
functional dependencies
classical first order logic
association rules
automated reasoning
background knowledge
sequent calculi
rule learning
decision rules
data sets
logic programming
relational databases
search algorithm
search engine
genetic algorithm
neural network