Decidability in geometric grid classes of permutations

Samuel Braunfeld

We prove that the basis and the generating function of a geometric grid class of permutations Geom$(M)$ are computable from the matrix $M$, as well as some variations on this resul…