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

@@ Property / author @@
-Jan van Leeuwen
@@ Property / author: Jan van Leeuwen / rank @@
-Normal rank
@@ Property / author @@
+Jan van Leeuwen
@@ Property / author: Jan van Leeuwen / 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/0020-0190(75)90027-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2038287030
@@ Property / OpenAlex ID: W2038287030 / rank @@
+Normal rank
@@ 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