Undecidable questions related to Church-Rosser Thue systems (Q1839249): Difference between revisions

@@ Property / author @@
+Colm P. O'Dunlaing
@@ Property / author: Colm P. O'Dunlaing / rank @@
+Normal rank
@@ 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(83)90039-7
+Normal rank
@@ Property / OpenAlex ID @@
+W1997017650
@@ Property / OpenAlex ID: W1997017650 / 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 @@
+Q3319766
@@ Property / cites work: Q3319766 / rank @@
+Normal rank
@@ Property / cites work @@
+Homogeneous Thue systems and the Church-Rosser property
+Normal rank
@@ Property / cites work @@
+Monadic Thue systems
@@ Property / cites work: Monadic Thue systems / rank @@
+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 @@
+Thue congruences and the Church-Rosser property
@@ Property / cites work: Thue congruences and the Church-Rosser property / rank @@
+Normal rank
@@ Property / cites work @@
+Q5804999
@@ Property / cites work: Q5804999 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite regular Thue systems
@@ Property / cites work: Infinite regular Thue systems / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Unsolvability of a problem of Thue
@@ Property / cites work: Recursive Unsolvability of a problem of Thue / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive unsolvability of group theoretic problems
+Normal rank