The context-splittable normal form for Church-Rosser language systems. (Q1401938): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+McNaughton families of languages.
@@ Property / cites work: McNaughton families of languages. / 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 @@
+Q4846257
@@ Property / cites work: Q4846257 / rank @@
+Normal rank
@@ Property / cites work @@
+Growing context-sensitive languages and Church-Rosser languages
+Normal rank
@@ Property / cites work @@
+On certain formal properties of grammars
@@ Property / cites work: On certain formal properties of grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Membership for growing context-sensitive grammars is polynomial
+Normal rank
@@ Property / cites work @@
+Q4198075
@@ Property / cites work: Q4198075 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994922
@@ Property / cites work: Q3994922 / rank @@
+Normal rank
@@ Property / cites work @@
+An \(O(| T| ^ 3)\) algorithm for testing the Church-Rosser property of Thue systems
+Normal rank
@@ Property / cites work @@
+Q4941161
@@ Property / cites work: Q4941161 / rank @@
+Normal rank
@@ Property / cites work @@
+Church-Rosser Thue systems and formal languages
@@ Property / cites work: Church-Rosser Thue systems and formal languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q3839075
@@ Property / cites work: Q3839075 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737907
@@ Property / cites work: Q4737907 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778887
@@ Property / cites work: Q2778887 / rank @@
+Normal rank