Pages that link to "Item:Q1168754"
From MaRDI portal
The following pages link to A Noetherian and confluent rewrite system for idempotent semigroups (Q1168754):
Displaying 17 items.
- The theory of idempotent semigroups is of unification type zero (Q581000) (← links)
- Strict coherence of conditional rewriting modulo axioms (Q683741) (← links)
- On free products of bands (Q757604) (← links)
- Unification in varieties of idempotent semigroups (Q1092171) (← links)
- History and basic features of the critical-pair/completion procedure (Q1103414) (← links)
- Unification theory (Q1124375) (← links)
- Expressivity of coalgebraic modal logic: the limits and beyond (Q2474056) (← links)
- Essential unifiers (Q2494722) (← links)
- Polynomial time multiplication and normal forms in free bands (Q2693634) (← links)
- Rewriting in Varieties of Idempotent Semigroups (Q3014940) (← links)
- Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups (Q3098040) (← links)
- What Is Essential Unification? (Q3305325) (← links)
- Free bands and free *-bands (Q3728242) (← links)
- Relatively free bands (Q4495380) (← links)
- Conditional semi-Thue systems for presenting monoids (Q5096810) (← links)
- Semigroups satisfying x m+n = x n (Q5881194) (← links)
- Rewrite systems for varieties of semigroups (Q6488547) (← links)