Bijections for permutation tableaux.

Sylvie Corteel Philippe Nadeau

Published in: Eur. J. Comb. (2009)

Keyphrases

modal logic
decision procedures
functional dependencies
databases
high quality
query language
management system
automated reasoning
doubly stochastic