The following pages link to (Q4407712):
Displayed 6 items.
- Termination proofs for string rewriting systems via inverse match-bounds (Q851146) (← links)
- Periodicity in one-dimensional peg duotaire (Q1885000) (← links)
- Peg-solitaire, string rewriting systems and finite automata (Q1885909) (← links)
- Modelling and solving English peg solitaire (Q2489133) (← links)
- Taking-and-merging games as rewrite games (Q3386626) (← links)
- Automatic Termination (Q3636815) (← links)