Reconstructing Young tableaux.

Alan J. Cain Erkko Lehtonen

Published in: J. Comb. Theory, Ser. A (2022)

Keyphrases

modal logic
functional dependencies
decision procedures
young adults
learning algorithm
expert systems
database
knowledge base
wide range
automated reasoning