Login / Signup
Bijections between oscillating tableaux and (semi)standard tableaux via growth diagrams.
Christian Krattenthaler
Published in:
J. Comb. Theory, Ser. A (2016)
Keyphrases
</>
modal logic
decision procedures
functional dependencies
theorem proving
multiscale
data structure
evolutionary algorithm