On two-way FA with monotonic counters and quadratic Diophantine equations (Q1884954): 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.1016/j.tcs.2003.10.027
+Normal rank
@@ Property / OpenAlex ID @@
+W2019146106
@@ Property / OpenAlex ID: W2019146106 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4425946
@@ Property / cites work: Q4425946 / rank @@
+Normal rank
@@ Property / cites work @@
+Semigroups, Presburger formulas, and languages
@@ Property / cites work: Semigroups, Presburger formulas, and languages / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of decision problems for finite-turn multicounter machines
+Normal rank
@@ Property / cites work @@
+Two-Way Counter Machines and Diophantine Equations
+Normal rank
@@ Property / cites work @@
+Reversal-Bounded Multicounter Machines and Their Decision Problems
+Normal rank
@@ Property / cites work @@
+New Decidability Results Concerning Two-Way Counter Machines
+Normal rank
@@ Property / cites work @@
+The Diophantine Problem for Addition and Divisibility
+Normal rank
@@ Property / cites work @@
+Q3992465
@@ Property / cites work: Q3992465 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive unsolvability of Post's problem of ''Tag'' und other topics in theory of Turing machines
+Normal rank