The membership question for ETOL-languages is polynomially complete (Q1219165): Difference between revisions

@@ Property / cites work @@
+Optimization of LR(k) parsers
@@ Property / cites work: Optimization of LR(k) parsers / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586401
@@ Property / cites work: Q5586401 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+On some families of languages related to developmental systems
+Normal rank
@@ Property / cites work @@
+Description of developmental languages using recurrence systems
+Normal rank
@@ Property / cites work @@
+A relationship between ETOL and EDTOL languages
@@ Property / cites work: A relationship between ETOL and EDTOL languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4142699
@@ Property / cites work: Q4142699 / rank @@
+Normal rank
@@ Property / cites work @@
+Programmed Grammars and Classes of Formal Languages
+Normal rank
@@ Property / cites work @@
+TOL systems and languages
@@ Property / cites work: TOL systems and languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q5678435
@@ Property / cites work: Q5678435 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4047117
@@ Property / cites work: Q4047117 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4088273
@@ Property / cites work: Q4088273 / rank @@
+Normal rank