A note on thue systems with a single defining relation (Q3735697): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3659975
@@ Property / cites work: Q3659975 / 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 @@
+A note on special thue systems with a single defining relation
+Normal rank
@@ Property / cites work @@
+Homogeneous Thue systems and the Church-Rosser property
+Normal rank
@@ Property / cites work @@
+Testing for the Church-Rosser property
@@ Property / cites work: Testing for the Church-Rosser property / rank @@
+Normal rank
@@ Property / cites work @@
+Une généralisation des ensembles de Dyck
@@ Property / cites work: Une généralisation des ensembles de Dyck / rank @@
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+An \(O(| T| ^ 3)\) algorithm for testing the Church-Rosser property of Thue systems
+Normal rank
@@ Property / cites work @@
+Fast Pattern Matching in Strings
@@ Property / cites work: Fast Pattern Matching in Strings / rank @@
+Normal rank
@@ Property / cites work @@
+Q3853827
@@ Property / cites work: Q3853827 / rank @@
+Normal rank
@@ Property / cites work @@
+On monoids presented by a single relation
@@ Property / cites work: On monoids presented by a single relation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3659988
@@ Property / cites work: Q3659988 / rank @@
+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 @@
+Q4135772
@@ Property / cites work: Q4135772 / rank @@
+Normal rank
@@ Property / cites work @@
+On theories with a combinatorial definition of 'equivalence'
+Normal rank
@@ Property / cites work @@
+Undecidable questions related to Church-Rosser Thue systems
+Normal rank
@@ Property / cites work @@
+Infinite regular Thue systems
@@ Property / cites work: Infinite regular Thue systems / rank @@
+Normal rank
@@ Property / cites work @@
+Tree-Manipulating Systems and Church-Rosser Theorems
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3735697