Pages that link to "Item:Q1121013"
From MaRDI portal
The following pages link to Elements of finite order for finite weight-reducing and confluent Thue systems (Q1121013):
Displaying 7 items.
- On weakly confluent monadic string-rewriting systems (Q685433) (← links)
- About the descriptive power of certain classes of finite string-rewriting systems (Q910850) (← links)
- Decision problems for finite special string-rewriting systems that are confluent on some congruence class (Q912986) (← links)
- An efficient algorithm to decide whether a monoid presented by a regular Church-Rosser Thue system is a group (Q1123272) (← links)
- Some polynomial-time algorithms for finite monadic Church-Rosser Thue systems (Q1123619) (← links)
- Type-II conjecture is true for finite \(\mathcal J\)-trivial monoids (Q1204565) (← links)
- On groups presented by inverse-closed finite confluent length-reducing rewriting systems (Q2700950) (← links)
