Valuations of Weighted Automata: Doing It in a Rational Way (Q3098044): 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-642-24897-9_14
+Normal rank
@@ Property / OpenAlex ID @@
+W52973317
@@ Property / OpenAlex ID: W52973317 / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted grammars and Kleene's theorem
@@ Property / cites work: Weighted grammars and Kleene's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Rational \(\omega\)-languages are non-ambiguous
@@ Property / cites work: Rational \(\omega\)-languages are non-ambiguous / rank @@
+Normal rank
@@ Property / cites work @@
+Recognizable formal power series on trees
@@ Property / cites work: Recognizable formal power series on trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q3431476
@@ Property / cites work: Q3431476 / rank @@
+Normal rank
@@ Property / cites work @@
+Unambiguous Büchi automata.
@@ Property / cites work: Unambiguous Büchi automata. / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative Languages
@@ Property / cites work: Quantitative Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating Weighted Automata
@@ Property / cites work: Alternating Weighted Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Expressiveness and Closure Properties for Quantitative Languages
+Normal rank
@@ Property / cites work @@
+Probabilistic Weighted Automata
@@ Property / cites work: Probabilistic Weighted Automata / rank @@
+Normal rank
@@ Property / cites work @@
+The Kleene-Schützenberger theorem for formal power series in partially commuting variables.
+Normal rank
@@ Property / cites work @@
+Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics
+Normal rank
@@ Property / cites work @@
+Handbook of weighted automata
@@ Property / cites work: Handbook of weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+Skew and infinitary formal power series
@@ Property / cites work: Skew and infinitary formal power series / rank @@
+Normal rank
@@ Property / cites work @@
+ON WEIGHTED BÜCHI AUTOMATA WITH ORDER-COMPLETE WEIGHTS
+Normal rank
@@ Property / cites work @@
+Weighted automata and weighted logics with discounting
+Normal rank
@@ Property / cites work @@
+Weighted automata with discounting
@@ Property / cites work: Weighted automata with discounting / 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 @@
+On aperiodic and star-free formal power series in partially commuting variables
+Normal rank
@@ Property / cites work @@
+Describing Average- and Longtime-Behavior by Weighted MSO Logics
+Normal rank
@@ Property / cites work @@
+Regular Expressions on Average and in the Long Run
+Normal rank
@@ Property / cites work @@
+WEIGHTED AUTOMATA AND REGULAR EXPRESSIONS OVER VALUATION MONOIDS
+Normal rank
@@ Property / cites work @@
+Kleene and Büchi Theorems for 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 @@
+Q3431479
@@ Property / cites work: Q3431479 / rank @@
+Normal rank
@@ Property / cites work @@
+On iteration semiring-semimodule pairs.
@@ Property / cites work: On iteration semiring-semimodule pairs. / rank @@
+Normal rank
@@ Property / cites work @@
+Cycle-Free Finite Automata in Partial Iterative Semirings
+Normal rank
@@ Property / cites work @@
+Q4654640
@@ Property / cites work: Q4654640 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatentheorie und Logik
@@ Property / cites work: Automatentheorie und Logik / rank @@
+Normal rank
@@ Property / cites work @@
+Branching automata with costs -- a way of reflecting parallelism in costs
+Normal rank
@@ Property / cites work @@
+Schützenberger's theorem on formal power series follows from Kleene's theorem
+Normal rank
@@ Property / cites work @@
+Derivatives of rational expressions with multiplicity
+Normal rank
@@ Property / cites work @@
+Characterizations of recognizable picture series
@@ Property / cites work: Characterizations of recognizable picture series / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite fuzzy computations
@@ Property / cites work: Infinite fuzzy computations / 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
@@ links / mardi / name / links / mardi / name @@
+Publication:3098044