Pages that link to "Item:Q2407108"

The following pages link to WQO is decidable for factorial languages (Q2407108):

Displaying 2 items.

• Atomicity and Well Quasi-Order for Consecutive Orderings on Words and Permutations (Q5857006) (← links)
• Decidability of well quasi-order and atomicity for equivalence relations under embedding orderings (Q6663927) (← links)