Pages that link to "Item:Q5369492"
From MaRDI portal
The following pages link to Homological computations for term rewriting systems (Q5369492):
Displaying 9 items.
- Complete rewriting systems and homology of monoid algebras (Q923133) (← links)
- Computing minimal projection modules for \(\mathcal{ELH}^r\)-terminologies (Q2296720) (← links)
- Algebra and geometry of rewriting (Q2463397) (← links)
- Noncommutative Gröbner Bases: Applications and Generalizations (Q3294889) (← links)
- A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods (Q5043598) (← links)
- A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods (Q5089026) (← links)
- (Q5094144) (← links)
- Confluence of algebraic rewriting systems (Q5879266) (← links)
- Free precategories as presheaf categories (Q6575458) (← links)