Counter machines and counter languages (Q5551469): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Turing machines with restricted memory access
@@ Property / cites work: Turing machines with restricted memory access / rank @@
+Normal rank
@@ Property / cites work @@
+Real-time solutions of the origin-crossing problem
+Normal rank
@@ Property / cites work @@
+Q5576254
@@ Property / cites work: Q5576254 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded Algol-Like Languages
@@ Property / cites work: Bounded Algol-Like Languages / rank @@
+Normal rank
@@ Property / cites work @@
+On the Computational Complexity of Algorithms
@@ Property / cites work: On the Computational Complexity of Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive unsolvability of Post's problem of ''Tag'' und other topics in theory of Turing machines
+Normal rank
@@ Property / cites work @@
+On Context-Free Languages
@@ Property / cites work: On Context-Free Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Real time computation
@@ Property / cites work: Real time computation / rank @@
+Normal rank
@@ Property / cites work @@
+Real-Time Definable Languages
@@ Property / cites work: Real-Time Definable Languages / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01694011
+Normal rank
@@ Property / OpenAlex ID @@
+W2056647002
@@ Property / OpenAlex ID: W2056647002 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/mst/FischerMR68
@@ Property / DBLP publication ID: journals/mst/FischerMR68 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5551469