Pages that link to "Item:Q5055732"
From MaRDI portal
The following pages link to Restrictions of congruences generated by finite canonical string-rewriting systems (Q5055732):
Displaying 6 items.
- The problems of cyclic equality and conjugacy for finite complete rewriting systems (Q1089798) (← links)
- On deciding confluence of finite string-rewriting systems modulo partial commutativity (Q1262758) (← links)
- Finite canonical rewriting systems for congruences generated by concurrency relations (Q3779772) (← links)
- (Q3811749) (← links)
- (Q4255520) (← links)
- Infinite Families of Finite String Rewriting Systems and Their Confluence (Q4933319) (← links)