Pages that link to "Item:Q6114514"
From MaRDI portal
The following pages link to Confluence of one-rule Thue systems (Q6114514):
Displaying 6 items.
- On termination of confluent one-rule string-rewriting systems (Q286976) (← links)
- On prefixal one-rule string rewrite systems (Q2330116) (← links)
- One-relation languages and code generators (Q5021106) (← links)
- More problems in rewriting (Q5055812) (← links)
- One-rule trace-rewriting systems and confluence (Q5096864) (← links)
- Termination and derivational complexity of confluent one-rule string-rewriting systems (Q5958138) (← links)
