An algorithm computing combinatorial specifications of permutation classes

Frédérique Bassino, Mathilde Bouvel, Adeline Pierrot +2

This article presents a methodology that automatically derives a combinatorial specification for a permutation class C, given its basis B of excluded patterns and the set of simple…