Freeness properties of weighted and probabilistic automata over bounded languages (Q2280319): Difference between revisions

@@ Property / DOI @@
-.1016/j.ic.2019.104440
@@ Property / DOI: 10.1016/j.ic.2019.104440 / rank @@
-Normal rank
@@ Property / cites work @@
+The freeness problem over matrix semigroups and bounded languages
+Normal rank
@@ Property / cites work @@
+Undecidable problems for probabilistic automata of fixed dimension
+Normal rank
@@ Property / cites work @@
+Q4143209
@@ Property / cites work: Q4143209 / rank @@
+Normal rank
@@ Property / cites work @@
+Unsolvability in 3 × 3 Matrices
@@ Property / cites work: Unsolvability in 3 × 3 Matrices / rank @@
+Normal rank
@@ Property / cites work @@
+ON THE UNDECIDABILITY OF THE FREENESS OF INTEGER MATRIX SEMIGROUPS
+Normal rank
@@ Property / cites work @@
+ON THE UNDECIDABILITY OF FREENESS OF MATRIX SEMIGROUPS
+Normal rank
@@ Property / cites work @@
+On the decidability of semigroup freeness
@@ Property / cites work: On the decidability of semigroup freeness / rank @@
+Normal rank
@@ Property / cites work @@
+Some decision problems on integer matrices
@@ Property / cites work: Some decision problems on integer matrices / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability problems in quaternion matrix and rotation semigroups
+Normal rank
@@ Property / cites work @@
+Periodic and Infinite Traces in Matrix Semigroups
@@ Property / cites work: Periodic and Infinite Traces in Matrix Semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Some consequences of a Fatou property of the tropical semiring
+Normal rank
@@ Property / cites work @@
+What’s Decidable about Weighted Automata?
@@ Property / cites work: What’s Decidable about Weighted Automata? / rank @@
+Normal rank
@@ Property / cites work @@
+THE EQUALITY PROBLEM FOR RATIONAL SERIES WITH MULTIPLICITIES IN THE TROPICAL SEMIRING IS UNDECIDABLE
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3704880
@@ Property / cites work: Q3704880 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision problems concerning thinness and slenderness of formal languages
+Normal rank
@@ Property / cites work @@
+Q5643915
@@ Property / cites work: Q5643915 / rank @@
+Normal rank
@@ Property / cites work @@
+Improved Undecidability Results on the Emptiness Problem of Probabilistic and Quantum Cut-Point Languages
+Normal rank
@@ Property / cites work @@
+Decision Problems for Probabilistic Finite Automata on Bounded Languages
+Normal rank
@@ Property / cites work @@
+Scalar Ambiguity and Freeness in Matrix Semigroups over Bounded Languages
+Normal rank
@@ Property / cites work @@
+UNDECIDABILITY BOUNDS FOR INTEGER MATRICES USING CLAUS INSTANCES
+Normal rank
@@ Property / cites work @@
+Q3992465
@@ Property / cites work: Q3992465 / rank @@
+Normal rank
@@ Property / cites work @@
+MATRIX EQUATIONS AND HILBERT'S TENTH PROBLEM
@@ Property / cites work: MATRIX EQUATIONS AND HILBERT'S TENTH PROBLEM / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Automata and Stochastic Languages
@@ Property / cites work: Generalized Automata and Stochastic Languages / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.IC.2019.104440
@@ Property / DOI: 10.1016/J.IC.2019.104440 / rank @@
+Normal rank