Pages that link to "Item:Q3735697"
From MaRDI portal
The following pages link to A note on thue systems with a single defining relation (Q3735697):
Displaying 7 items.
- Thue systems as rewriting systems (Q1099642) (← links)
- On deciding the confluence of a finite string-rewriting system on a given congruence class (Q1102946) (← links)
- Semigroups presented by one relation and satisfying the Church-Rosser property (Q1274007) (← links)
- Overlaps in free partially commutative monoids (Q2639969) (← links)
- Finite canonical rewriting systems for congruences generated by concurrency relations (Q3779772) (← links)
- On confluence of one-rule trace-rewriting systems (Q4841768) (← links)
- On confluence versus strong confluence for one-rule trace-rewriting systems (Q4841769) (← links)
