Thue congruences and the Church-Rosser property (Q1162505): Difference between revisions

@@ 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 @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3853827
@@ Property / cites work: Q3853827 / rank @@
+Normal rank
@@ Property / cites work @@
+On theories with a combinatorial definition of 'equivalence'
+Normal rank
@@ Property / cites work @@
+Q5668779
@@ Property / cites work: Q5668779 / rank @@
+Normal rank
@@ Property / cites work @@
+Some Non‐Recursive Classes of Thue Systems With Solvable Word Problem
+Normal rank