Some polynomial-time algorithms for finite monadic Church-Rosser Thue systems (Q1123619): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(89)90167-9
+Normal rank
@@ Property / OpenAlex ID @@
+W1979249711
@@ Property / OpenAlex ID: W1979249711 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluent and Other Types of Thue Systems
@@ Property / cites work: Confluent and Other Types of Thue Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Decidable sentences of Church-Rosser congruences
@@ Property / cites work: Decidable sentences of Church-Rosser congruences / rank @@
+Normal rank
@@ Property / cites work @@
+Q3677188
@@ Property / cites work: Q3677188 / rank @@
+Normal rank
@@ Property / cites work @@
+Thue systems as rewriting systems
@@ Property / cites work: Thue systems as rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Presentations of groups and monoids
@@ Property / cites work: Presentations of groups and monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+The Knuth-Bendix Completion Procedure and Thue Systems
+Normal rank
@@ Property / cites work @@
+The equation \(a_ M=b^ Nc^ P\) in a free group
@@ Property / cites work: The equation \(a_ M=b^ Nc^ P\) in a free group / rank @@
+Normal rank
@@ Property / cites work @@
+Cancellativity in finitely presented semigroups
@@ Property / cites work: Cancellativity in finitely presented semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity results on the conjugacy problem for monoids
+Normal rank
@@ Property / cites work @@
+The problems of cyclic equality and conjugacy for finite complete rewriting systems
+Normal rank
@@ Property / cites work @@
+Elements of finite order for finite weight-reducing and confluent Thue systems
+Normal rank
@@ Property / cites work @@
+The uniform conjugacy problem for finite church—Rosser thue systems is NP-complete
+Normal rank
@@ Property / cites work @@
+Conjugacy in monoids with a special Church-Rosser presentation is decidable
+Normal rank
@@ Property / cites work @@
+Elements of Finite Order for Finite Monadic Church-Rosser Thue Systems
+Normal rank
@@ Property / cites work @@
+On two problems related to cancellativity
@@ Property / cites work: On two problems related to cancellativity / rank @@
+Normal rank