Pages that link to "Item:Q1824041"
From MaRDI portal
The following pages link to Cancellativity in finitely presented semigroups (Q1824041):
Displaying 8 items.
- Decision problems for finite special string-rewriting systems that are confluent on some congruence class (Q912986) (← links)
- On two problems related to cancellativity (Q1070349) (← links)
- On deciding the confluence of a finite string-rewriting system on a given congruence class (Q1102946) (← links)
- Some polynomial-time algorithms for finite monadic Church-Rosser Thue systems (Q1123619) (← links)
- When is an extension of a specification consistent? Decidable and undecidable cases (Q1186708) (← links)
- Commutativity in groups presented by finite Church-Rosser Thue systems (Q3794395) (← links)
- A deterministic algorithm to decide if a finitely presented abelian monoid is cancellative (Q4370002) (← links)
- Restrictions of congruences generated by finite canonical string-rewriting systems (Q5055732) (← links)
