Weighted automata and weighted MSO logics for average and long-time behaviors (Q1932173): Difference between revisions

@@ Property / author @@
-Manfred Droste
@@ Property / author: Manfred Droste / rank @@
-Normal rank
@@ Property / author @@
+Manfred Droste
@@ Property / author: Manfred Droste / 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.1016/j.ic.2012.10.001
+Normal rank
@@ Property / OpenAlex ID @@
+W1981797649
@@ Property / OpenAlex ID: W1981797649 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994777
@@ Property / cites work: Q3994777 / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted versus Probabilistic Logics
@@ Property / cites work: Weighted versus Probabilistic Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+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 @@
+Probabilistic Weighted Automata
@@ Property / cites work: Probabilistic Weighted Automata / 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 @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+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 @@
+Describing Average- and Longtime-Behavior by Weighted MSO Logics
+Normal rank
@@ Property / cites work @@
+WEIGHTED AUTOMATA AND REGULAR EXPRESSIONS OVER VALUATION MONOIDS
+Normal rank
@@ Property / cites work @@
+Weighted automata and weighted logics with discounting
+Normal rank
@@ Property / cites work @@
+Weighted automata and weighted logics on infinite words
+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 tree automata and weighted logics
@@ Property / cites work: Weighted tree automata and weighted logics / 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 @@
+Decision Problems of Finite Automata Design and Related Arithmetics
+Normal rank
@@ Property / cites work @@
+Q4910728
@@ Property / cites work: Q4910728 / rank @@
+Normal rank
@@ Property / cites work @@
+Models for Quantitative Distributed Systems and Multi-Valued Logics
+Normal rank
@@ Property / cites work @@
+Towards more realistic (e.g., non-associative) ``and'' - and ``or''-operations in fuzzy logic
+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 @@
+Lattice Automata
@@ Property / cites work: Lattice Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted Logics for Nested Words and Algebraic Formal Power Series
+Normal rank
@@ Property / cites work @@
+Valuations of Weighted Automata: Doing It in a Rational Way
+Normal rank
@@ Property / cites work @@
+Weighted Timed MSO Logics
@@ Property / cites work: Weighted Timed MSO Logics / 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
@@ links / mardi / name / links / mardi / name @@
+Publication:1932173