On the complexity of decision problems for counter machines with applications to coding theory (Q2163996): 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.1007/978-3-031-05578-2_14
+Normal rank
@@ Property / OpenAlex ID @@
+W4285298663
@@ Property / OpenAlex ID: W4285298663 / rank @@
+Normal rank
@@ Property / cites work @@
+Stack automata and compiling
@@ Property / cites work: Stack automata and compiling / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of decision problems for finite-turn multicounter machines
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4133162
@@ Property / cites work: Q4133162 / rank @@
+Normal rank
@@ Property / cites work @@
+On the containment and equivalence problems for two-way transducers
+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 @@
+Duplication in DNA Sequences
@@ Property / cites work: Duplication in DNA Sequences / rank @@
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalizations of Code Languages with Marginal Errors
+Normal rank
@@ Property / cites work @@
+Generalizations of Code Languages with Marginal Errors
+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 @@
+Q4001349
@@ Property / cites work: Q4001349 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2163996