The following pages link to (Q4105657):
Displaying 33 items.
- Decidable sentences of Church-Rosser congruences (Q593775) (← links)
- On weakly confluent monadic string-rewriting systems (Q685433) (← links)
- Finite complete rewriting systems for the Jantzen monoid and the Greendlinger group (Q760506) (← links)
- Homogeneous Thue systems and the Church-Rosser property (Q798317) (← links)
- Some decision problems about controlled rewriting systems (Q910246) (← links)
- An \(O(| T| ^ 3)\) algorithm for testing the Church-Rosser property of Thue systems (Q1057263) (← links)
- The Church-Rosser property and special Thue systems (Q1071759) (← links)
- Pseudo-natural algorithms for the word problem for finitely presented monoids and groups (Q1074716) (← links)
- Reductions in tree replacement systems (Q1082092) (← links)
- The equivalence and inclusion problems for NTS languages (Q1083219) (← links)
- On the regular equivalence problem for regular Thue systems (Q1087011) (← links)
- Special monoids and special Thue systems (Q1089108) (← links)
- The problems of cyclic equality and conjugacy for finite complete rewriting systems (Q1089798) (← links)
- Word problems and a homological finiteness condition for monoids (Q1105040) (← links)
- The word problem for free partially commutative groups (Q1109139) (← links)
- Pseudo-natural algorithms for finitely generated presentations of monoids and groups (Q1115973) (← links)
- Church-Rosser controlled rewriting systems and equivalence problems for deterministic context-free languages (Q1120292) (← links)
- NTS grammars and Church-Rosser systems (Q1159985) (← links)
- Testing for the Church-Rosser property (Q1162144) (← links)
- Monadic Thue systems (Q1165842) (← links)
- Some properties of finite special string-rewriting systems (Q1201349) (← links)
- Contributions of Ronald V. Book to the theory of string-rewriting systems (Q1274982) (← links)
- Cancellativity in finitely presented semigroups (Q1824041) (← links)
- Confluence problems for trace rewriting systems (Q1854457) (← links)
- Variable-length codes independent or closed with respect to edit relations (Q2084770) (← links)
- Calcul de longueurs de chaînes de réécriture dans le monoïde libre (Q2266711) (← links)
- Convergent presentations and polygraphic resolutions of associative algebras (Q2272945) (← links)
- From Analytical Mechanics Problems to Rewriting Theory Through M. Janet’s Work (Q3294886) (← links)
- Elements of Finite Order for Finite Monadic Church-Rosser Thue Systems (Q3708211) (← links)
- A note on special thue systems with a single defining relation (Q4740555) (← links)
- Algebraic coherent confluence and higher globular Kleene algebras (Q5060195) (← links)
- Confluence of algebraic rewriting systems (Q5879266) (← links)
- Shuffle polygraphic resolutions for operads (Q6134654) (← links)
