GitHub repository: AliaumeL/word-ordering-wqo
Primary language: TeX
Created: 2024-07-30T08:36:22Z
Description: Do you sometimes whish usual word orderings such as the prefix ordering on words were well-quasi-orders? Say no more: here is a classification of languages where your dreams come true.