arXiv:2308.04201 [math.CO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords geometric grid class, decidability, monadic second-order logic, permutations geom, main tool Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset