Decidability Boundaries for the Finite-Image Property of Weighted Finite Automata (Q6072403): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1142/s0129054123450041
+Normal rank
@@ Property / OpenAlex ID @@
+W4386593550
@@ Property / OpenAlex ID: W4386593550 / rank @@
+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 @@
+Q3994777
@@ Property / cites work: Q3994777 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3431475
@@ Property / cites work: Q3431475 / rank @@
+Normal rank
@@ Property / cites work @@
+Determinization of weighted finite automata over strong bimonoids
+Normal rank
@@ Property / cites work @@
+Crisp-determinization of weighted tree automata over additively locally finite and past-finite monotonic strong bimonoids is decidable
+Normal rank
@@ Property / cites work @@
+Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids
+Normal rank
@@ Property / cites work @@
+Handbook of weighted automata
@@ Property / cites work: Handbook of weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted automata
@@ Property / cites work: Weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted finite automata over strong bimonoids
@@ Property / cites work: Weighted finite automata over strong bimonoids / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted automata and multi-valued logics over arbitrary bounded lattices
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4700998
@@ Property / cites work: Q4700998 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of the word problem for one-relator inverse monoids via right-angled Artin subgroups of one-relator groups
+Normal rank
@@ Property / cites work @@
+Q4265634
@@ Property / cites work: Q4265634 / 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 @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3704880
@@ Property / cites work: Q3704880 / rank @@
+Normal rank
@@ Property / cites work @@
+On finite semigroups of matrices
@@ Property / cites work: On finite semigroups of matrices / rank @@
+Normal rank
@@ Property / cites work @@
+The order problem and the power problem for free product sixth-groups
+Normal rank
@@ Property / cites work @@
+The word problem for one-relation monoids: a survey
+Normal rank
@@ Property / cites work @@
+Rational languages and the Burnside problem
@@ Property / cites work: Rational languages and the Burnside problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3644388
@@ Property / cites work: Q3644388 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4155837
@@ Property / cites work: Q4155837 / rank @@
+Normal rank
@@ Property / cites work @@
+On the definition of a family of automata
@@ Property / cites work: On the definition of a family of automata / rank @@
+Normal rank