Solvable problems for transformers with reversal-bounded counters (Q3747751): Difference between revisions

@@ Property / cites work @@
+Strict sets and finite semigroup coverings
@@ Property / cites work: Strict sets and finite semigroup coverings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4055582
@@ Property / cites work: Q4055582 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5186756
@@ Property / cites work: Q5186756 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5613949
@@ Property / cites work: Q5613949 / rank @@
+Normal rank
@@ Property / cites work @@
+Reversal-Bounded Multicounter Machines and Their Decision Problems
+Normal rank
@@ Property / cites work @@
+The Diophantine Problem for Addition and Divisibility
+Normal rank
@@ Property / cites work @@
+Recursive unsolvability of Post's problem of ''Tag'' und other topics in theory of Turing machines
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01078820
+Normal rank
@@ Property / OpenAlex ID @@
+W2020041969
@@ Property / OpenAlex ID: W2020041969 / rank @@
+Normal rank