Infinite regular Thue systems (Q1839248): 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(83)90060-9
+Normal rank
@@ Property / OpenAlex ID @@
+W2018146336
@@ Property / OpenAlex ID: W2018146336 / 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 @@
+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 @@
+Q4165518
@@ Property / cites work: Q4165518 / 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 @@
+Q3247126
@@ Property / cites work: Q3247126 / rank @@
+Normal rank
@@ Property / cites work @@
+Deterministic context free languages
@@ Property / cites work: Deterministic context free languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q3664434
@@ Property / cites work: Q3664434 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+On a special monoid with a single defining relation
+Normal rank