Pages that link to "Item:Q1331943"
From MaRDI portal
The following pages link to A finiteness condition for rewriting systems (Q1331943):
Displaying 50 items.
- Homotopy bases and finite derivation type for subgroups of monoids. (Q403106) (← links)
- Finite derivation type for semilattices of semigroups. (Q444671) (← links)
- Higher-dimensional normalisation strategies for acyclicity (Q456807) (← links)
- Finite Gröbner-Shirshov bases for plactic algebras and biautomatic structures for plactic monoids. (Q479731) (← links)
- A coherence theorem for pseudonatural transformations (Q502628) (← links)
- On properties not inherited by monoids from their Schützenberger groups. (Q549674) (← links)
- On higher order homological finiteness of rewriting systems. (Q557065) (← links)
- Categorification, term rewriting and the Knuth-Bendix procedure (Q626714) (← links)
- For groups the property of having finite derivation type is equivalent to the homological finiteness condition \(FP_ 3\) (Q674765) (← links)
- On some homotopical and homological properties of monoid presentations. (Q927282) (← links)
- A folk model structure on omega-cat (Q973942) (← links)
- Polygraphic resolutions and homology of monoids (Q1008743) (← links)
- Finite derivation type for semi-direct products of monoids (Q1127330) (← links)
- Finite complete rewriting systems and finite derivation type for small extensions of monoids (Q1270963) (← links)
- Homotopy reduction systems for monoid presentations (Q1295568) (← links)
- Constructing finitely presented monoids which have no finite complete presentation (Q1357103) (← links)
- The Whitehead heritage (Q1361165) (← links)
- Homology of Gaussian groups. (Q1395346) (← links)
- For finitely presented monoids the homological finiteness conditions FHT and \(\text{bi-FP}_3\) coincide (Q1399171) (← links)
- Undecidable properties of monoids with word problem solvable in linear time. II: Cross sections and homological and homotopical finiteness conditions. (Q1399980) (← links)
- Towards an algebraic theory of Boolean circuits. (Q1410965) (← links)
- Finite homotopy bases of one-relator monoids (Q1579154) (← links)
- Crystal monoids \& crystal bases: rewriting systems and biautomatic structures for plactic monoids of types \(A_{n}\), \(B_{n}\), \(C_{n}\), \(D_{n}\), and \(G_{2}\) (Q1633382) (← links)
- Knuth's coherent presentations of plactic monoids of type A (Q1678467) (← links)
- A new finiteness condition for monoids presented by complete rewriting systems (after Craig C. Squier) (Q1892306) (← links)
- On finite complete rewriting systems, finite derivation type, and automaticity for homogeneous monoids (Q2013556) (← links)
- Groupoids and the algebra of rewriting in group presentations (Q2042128) (← links)
- Chinese syzygies by insertions (Q2070976) (← links)
- A Lyndon's identity theorem for one-relator monoids (Q2135760) (← links)
- Coherent confluence modulo relations and double groupoids (Q2136121) (← links)
- Convergent presentations and polygraphic resolutions of associative algebras (Q2272945) (← links)
- Finite derivation type for Rees matrix semigroups (Q2368998) (← links)
- Finite derivation type for large ideals. (Q2391156) (← links)
- Braids via term rewriting (Q2422032) (← links)
- Algebra and geometry of rewriting (Q2463397) (← links)
- Algebraic topology and concurrency (Q2500494) (← links)
- Topological finiteness properties of monoids. I: Foundations (Q2688262) (← links)
- Abstract strategies and coherence (Q2695348) (← links)
- Markov semigroups, monoids and groups (Q2923337) (← links)
- Homological Finite Derivation Type (Q3043618) (← links)
- On Finite Complete Presentations and Exact Decompositions of Semigroups (Q3113838) (← links)
- Polygraphs of finite derivation type (Q3130298) (← links)
- Noncommutative Gröbner Bases: Applications and Generalizations (Q3294889) (← links)
- FINITENESS CONDITIONS FOR REWRITING SYSTEMS (Q4680589) (← links)
- Monoid Presentations and Associated Groupoids (Q4704545) (← links)
- THE PROPERTY FDT IS UNDECIDABLE FOR FINITELY PRESENTED MONOIDS THAT HAVE POLYNOMIAL-TIME DECIDABLE WORD PROBLEMS (Q4786249) (← links)
- SECOND ORDER DEHN FUNCTIONS OF GROUPS AND MONOIDS (Q4786257) (← links)
- ON HOMOTOPICAL AND HOMOLOGICAL FINITENESS CONDITIONS FOR FINITELY PRESENTED MONOIDS (Q4786287) (← links)
- SOME EXACT SEQUENCES FOR THE HOMOTOPY (BI-)MODULE OF A MONOID (Q4786319) (← links)
- Coherence of Gray Categories via Rewriting (Q4993341) (← links)
