Program Schemes with Deep Pushdown Storage (Q3507414): Difference between revisions

@@ Property / cites work @@
+On the power of deep pushdown stacks
@@ Property / cites work: On the power of deep pushdown stacks / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchies in classes of program schemes
@@ Property / cites work: Hierarchies in classes of program schemes / rank @@
+Normal rank
@@ Property / cites work @@
+On Classes of Program Schemata
@@ Property / cites work: On Classes of Program Schemata / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizations of Pushdown Machines in Terms of Time-Bounded Computers
+Normal rank
@@ Property / cites work @@
+Q3221973
@@ Property / cites work: Q3221973 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5625129
@@ Property / cites work: Q5625129 / rank @@
+Normal rank
@@ Property / cites work @@
+On static logics, dynamic logics, and complexity classes
+Normal rank
@@ Property / cites work @@
+Even Simple Programs Are Hard To Analyze
@@ Property / cites work: Even Simple Programs Are Hard To Analyze / rank @@
+Normal rank
@@ Property / cites work @@
+A hierarchy between context-free and context-sensitive languages
+Normal rank
@@ Property / cites work @@
+Deep pushdown automata
@@ Property / cites work: Deep pushdown automata / rank @@
+Normal rank
@@ Property / cites work @@
+Using the Hamiltonian path operator to capture NP
@@ Property / cites work: Using the Hamiltonian path operator to capture NP / rank @@
+Normal rank
@@ Property / cites work @@
+Program schemes, arrays, Lindström quantifiers and zero-one laws
+Normal rank
@@ Property / cites work @@
+Using Program Schemes to Capture Polynomial-Time Logically on Certain Classes of Structures
+Normal rank
@@ Property / cites work @@
+Some relationships between logics of programs and complexity theory
+Normal rank