Weighted Automata and Weighted Logics (Q5072547): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3041049778
@@ Property / OpenAlex ID: W3041049778 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449238
@@ Property / cites work: Q4449238 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4289659
@@ Property / cites work: Q4289659 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994777
@@ Property / cites work: Q3994777 / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted Distributed Systems and Their Logics
@@ Property / cites work: Weighted Distributed Systems and Their Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+Q5525343
@@ Property / cites work: Q5525343 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Determinization of Weighted Finite Automata
+Normal rank
@@ Property / cites work @@
+Model theory.
@@ Property / cites work: Model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+On aperiodic and star-free formal power series in partially commuting variables
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted automata and weighted logics
@@ Property / cites work: Weighted automata and weighted logics / rank @@
+Normal rank
@@ Property / cites work @@
+Semirings and Formal Power Series
@@ Property / cites work: Semirings and Formal Power Series / rank @@
+Normal rank
@@ Property / cites work @@
+Q3536079
@@ Property / cites work: Q3536079 / 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 @@
+Weighted Automata and Weighted Logics with Discounting
+Normal rank
@@ Property / cites work @@
+Weighted tree automata and weighted logics
@@ Property / cites work: Weighted tree automata and weighted logics / rank @@
+Normal rank
@@ Property / cites work @@
+On transformations of formal power series.
@@ Property / cites work: On transformations of formal power series. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision Problems of Finite Automata Design and Related Arithmetics
+Normal rank
@@ Property / cites work @@
+On iteration semiring-semimodule pairs.
@@ Property / cites work: On iteration semiring-semimodule pairs. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4700998
@@ Property / cites work: Q4700998 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2766855
@@ Property / cites work: Q2766855 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata theory and its applications
@@ Property / cites work: Automata theory and its applications / rank @@
+Normal rank
@@ Property / cites work @@
+Applications of Weighted Automata in Natural Language Processing
+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 @@
+Definable Transductions and Weighted Logics for Texts
+Normal rank
@@ Property / cites work @@
+Weighted Logics for Nested Words and Algebraic Formal Power Series
+Normal rank
@@ Property / cites work @@
+Q3141897
@@ Property / cites work: Q3141897 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5641083
@@ Property / cites work: Q5641083 / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted Logics for Traces
@@ Property / cites work: Weighted Logics for Traces / rank @@
+Normal rank
@@ Property / cites work @@
+The design principles of a weighted finite-state transducer library
+Normal rank
@@ Property / cites work @@
+Q5317419
@@ Property / cites work: Q5317419 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3515223
@@ Property / cites work: Q3515223 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4155837
@@ Property / cites work: Q4155837 / rank @@
+Normal rank
@@ Property / cites work @@
+Rational and Recognisable Power Series
@@ Property / cites work: Rational and Recognisable Power Series / 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
@@ Property / cites work @@
+On finite monoids having only trivial subgroups
@@ Property / cites work: On finite monoids having only trivial subgroups / rank @@
+Normal rank
@@ Property / cites work @@
+Q3515224
@@ Property / cites work: Q3515224 / rank @@
+Normal rank