Pages that link to "Item:Q286976"
From MaRDI portal
The following pages link to On termination of confluent one-rule string-rewriting systems (Q286976):
Displayed 4 items.
- On normalizing, non-terminating one-rule string rewriting systems (Q1575660) (← links)
- A Lyndon's identity theorem for one-relator monoids (Q2135760) (← links)
- Diamond Subgraphs in the Reduction Graph of a One-Rule String Rewriting System (Q4989173) (← links)
- Termination and derivational complexity of confluent one-rule string-rewriting systems (Q5958138) (← links)