On the universe, disjointness, and containment problems for simple machines (Q710740): 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.ic.2010.07.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2063925705
@@ Property / OpenAlex ID: W2063925705 / rank @@
+Normal rank
@@ Property / cites work @@
+Reversal-bounded multipushdown machines
@@ Property / cites work: Reversal-bounded multipushdown machines / rank @@
+Normal rank
@@ Property / cites work @@
+On a complexity hierarchy between L and NL
@@ Property / cites work: On a complexity hierarchy between L and NL / rank @@
+Normal rank
@@ Property / cites work @@
+An Infinite Hierarchy of Context-Free Languages
@@ Property / cites work: An Infinite Hierarchy of Context-Free Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4265634
@@ Property / cites work: Q4265634 / rank @@
+Normal rank
@@ Property / cites work @@
+Reversal-Bounded Multicounter Machines and Their Decision Problems
+Normal rank
@@ Property / cites work @@
+Restricted one-counter machines with undecidable universe problems
+Normal rank
@@ Property / cites work @@
+On partially blind multihead finite automata.
@@ Property / cites work: On partially blind multihead finite automata. / 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 @@
+Complete formal systems for equivalence problems
@@ Property / cites work: Complete formal systems for equivalence problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737211
@@ Property / cites work: Q4737211 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:710740