Turing machines and the spectra of first-order formulas (Q4775859): Difference between revisions

@@ Property / cites work @@
+Characterizations of Pushdown Machines in Terms of Time-Bounded Computers
+Normal rank
@@ Property / cites work @@
+Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität
+Normal rank
@@ Property / cites work @@
+Writing pushdown acceptors
@@ Property / cites work: Writing pushdown acceptors / rank @@
+Normal rank
@@ Property / cites work @@
+Classes of languages and linear-bounded automata
@@ Property / cites work: Classes of languages and linear-bounded automata / rank @@
+Normal rank
@@ Property / cites work @@
+Concerning a problem of H. Scholz
@@ Property / cites work: Concerning a problem of H. Scholz / rank @@
+Normal rank