Pages that link to "Item:Q2407108"
From MaRDI portal
The following pages link to WQO is decidable for factorial languages (Q2407108):
Displaying 3 items.
- Factorial languages whose growth function is quadratically upper bounded (Q1120288) (← links)
- 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)