The Church-Rosser languages are the deterministic variants of the growing context-sensitive languages (Q1776398): 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/j.ic.2004.09.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2155704531
@@ Property / OpenAlex ID: W2155704531 / rank @@
+Normal rank
@@ Property / cites work @@
+Time-bounded grammars and their languages
@@ Property / cites work: Time-bounded grammars and their 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 @@
+On growing context-sensitive languages
@@ Property / cites work: On growing context-sensitive languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4942630
@@ Property / cites work: Q4942630 / rank @@
+Normal rank
@@ Property / cites work @@
+Growing context-sensitive languages and Church-Rosser languages
+Normal rank
@@ Property / cites work @@
+Membership for growing context-sensitive grammars is polynomial
+Normal rank
@@ Property / cites work @@
+Q5518372
@@ Property / cites work: Q5518372 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / 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 @@
+Cross-sections for finitely presented monoids with decidable word problems
+Normal rank
@@ Property / cites work @@
+Q2778887
@@ Property / cites work: Q2778887 / rank @@
+Normal rank