The following pages link to (Q4447248):
Displaying 5 items.
- On termination of confluent one-rule string-rewriting systems (Q286976) (← links)
- A canonical automaton for one-rule length-preserving string rewrite systems (Q498407) (← links)
- Termination proofs for string rewriting systems via inverse match-bounds (Q851146) (← links)
- On prefixal one-rule string rewrite systems (Q2330116) (← links)
- Diamond Subgraphs in the Reduction Graph of a One-Rule String Rewriting System (Q4989173) (← links)