Turing machines and the spectra of first-order formulas (Q4775859): 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.2307/2272354
@@ Property / full work available at URL: https://doi.org/10.2307/2272354 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2082778556
@@ Property / OpenAlex ID: W2082778556 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q56522038
@@ Property / Wikidata QID: Q56522038 / rank @@
+Normal rank
@@ 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