Weighted Automata and Weighted Logics with Discounting (Q3503896): Difference between revisions

@@ Property / author @@
-Manfred Droste
@@ Property / author: Manfred Droste / rank @@
-Normal rank
@@ Property / author @@
-George Rahonis
@@ Property / author: George Rahonis / rank @@
-Normal rank
@@ Property / author @@
+Manfred Droste
@@ Property / author: Manfred Droste / rank @@
+Normal rank
@@ Property / author @@
+George Rahonis
@@ Property / author: George Rahonis / 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.1007/978-3-540-76336-9_9
+Normal rank
@@ Property / OpenAlex ID @@
+W2125939438
@@ Property / OpenAlex ID: W2125939438 / 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 @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+Q5525343
@@ Property / cites work: Q5525343 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite Automata Computing Real Functions
@@ Property / cites work: Finite Automata Computing Real Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449238
@@ Property / cites work: Q4449238 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449193
@@ Property / cites work: Q4449193 / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted Automata and Weighted Logics on Infinite Words
+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 @@
+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 @@
+Q3431478
@@ Property / cites work: Q3431478 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4382287
@@ Property / cites work: Q4382287 / rank @@
+Normal rank
@@ Property / cites work @@
+Methods and applications of (max,+) linear algebra
+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 @@
+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 Picture Automata and Weighted Logics
@@ Property / cites work: Weighted Picture Automata and Weighted Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141897
@@ Property / cites work: Q3141897 / 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 @@
+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
@@ Property / cites work @@
+Stochastic Games
@@ Property / cites work: Stochastic Games / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear and combinatorial optimization in ordered algebraic structures
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3503896