Undecidable properties of monoids with word problem solvable in linear time. (Q1401160): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4846257
@@ Property / cites work: Q4846257 / rank @@
+Normal rank
@@ Property / cites work @@
+The Knuth-Bendix Completion Procedure and Thue Systems
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Fast Pattern Matching in Strings
@@ Property / cites work: Fast Pattern Matching in Strings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4349578
@@ Property / cites work: Q4349578 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5804999
@@ Property / cites work: Q5804999 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable questions related to Church-Rosser Thue systems
+Normal rank
@@ Property / cites work @@
+Q2704714
@@ Property / cites work: Q2704714 / rank @@
+Normal rank
@@ Property / cites work @@
+Divergence phenomena during completion
@@ Property / cites work: Divergence phenomena during completion / rank @@
+Normal rank
@@ Property / cites work @@
+New undecidability results for finitely presented monoids
+Normal rank