Some decision problems concerning semilinearity and commutation. (Q1872706): Difference between revisions

@@ Property / author @@
+Juhani Karhumäki
@@ Property / author: Juhani Karhumäki / rank @@
+Normal rank
@@ 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.1006/jcss.2002.1836
+Normal rank
@@ Property / OpenAlex ID @@
+W1973654289
@@ Property / OpenAlex ID: W1973654289 / rank @@
+Normal rank
@@ Property / cites work @@
+MULTI-PUSH-DOWN LANGUAGES AND GRAMMARS
@@ Property / cites work: MULTI-PUSH-DOWN LANGUAGES AND GRAMMARS / rank @@
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4510794
@@ Property / cites work: Q4510794 / rank @@
+Normal rank
@@ Property / cites work @@
+On the decidability of homomorphism equivalence for languages
+Normal rank
@@ Property / cites work @@
+Q5576254
@@ Property / cites work: Q5576254 / rank @@
+Normal rank
@@ Property / cites work @@
+Checking automata and one-way stack languages
@@ Property / cites work: Checking automata and one-way stack languages / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of decision problems for finite-turn multicounter machines
+Normal rank
@@ Property / cites work @@
+Q4265634
@@ Property / cites work: Q4265634 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198075
@@ Property / cites work: Q4198075 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773369
@@ Property / cites work: Q3773369 / rank @@
+Normal rank
@@ Property / cites work @@
+Reversal-Bounded Multicounter Machines and Their Decision Problems
+Normal rank
@@ Property / cites work @@
+Q4536602
@@ Property / cites work: Q4536602 / rank @@
+Normal rank
@@ Property / cites work @@
+New Decidability Results Concerning Two-Way Counter Machines
+Normal rank
@@ Property / cites work @@
+A simple undecidable problem: the inclusion problem for finite substitutions on \(ab^* c\)
+Normal rank
@@ Property / cites work @@
+Q3659988
@@ Property / cites work: Q3659988 / rank @@
+Normal rank
@@ Property / cites work @@
+On Context-Free Languages
@@ Property / cites work: On Context-Free Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q5678435
@@ Property / cites work: Q5678435 / rank @@
+Normal rank
@@ Property / cites work @@
+\(L(A)=L(B)\)? decidability results from complete formal systems
+Normal rank
@@ Property / cites work @@
+Decidability of DPDA equivalence
@@ Property / cites work: Decidability of DPDA equivalence / rank @@
+Normal rank