Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics (Q3098032): 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.1007/978-3-642-24897-9_2
+Normal rank
@@ Property / OpenAlex ID @@
+W202483378
@@ Property / OpenAlex ID: W202483378 / 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 @@
+Recognizable formal power series on trees
@@ Property / cites work: Recognizable formal power series on trees / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of quantum mechanics
@@ Property / cites work: The logic of quantum mechanics / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted versus Probabilistic Logics
@@ Property / cites work: Weighted versus Probabilistic Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5694616
@@ Property / cites work: Q5694616 / rank @@
+Normal rank
@@ Property / cites work @@
+Effective construction of the syntactic algebra of a recognizable series on trees
+Normal rank
@@ Property / cites work @@
+Constructions effectives sur les séries formelles d'arbres. (Effective constructions on formal tree series)
+Normal rank
@@ Property / cites work @@
+Q4318641
@@ Property / cites work: Q4318641 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3125174
@@ Property / cites work: Q3125174 / rank @@
+Normal rank
@@ Property / cites work @@
+Positive tree representations and applications to tree automata
+Normal rank
@@ Property / cites work @@
+Context-free series on trees
@@ Property / cites work: Context-free series on trees / rank @@
+Normal rank
@@ Property / cites work @@
+Représentations matricielles des séries d'arbre reconnaissables
+Normal rank
@@ Property / cites work @@
+Varieties of formal series on trees and Eilenberg's theorem
+Normal rank
@@ Property / cites work @@
+The rank of a formal tree power series
@@ Property / cites work: The rank of a formal tree power series / rank @@
+Normal rank
@@ Property / cites work @@
+Q5491511
@@ Property / cites work: Q5491511 / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy tree language recognizability
@@ Property / cites work: Fuzzy tree language recognizability / rank @@
+Normal rank
@@ Property / cites work @@
+Q3431477
@@ Property / cites work: Q3431477 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+Q4692772
@@ Property / cites work: Q4692772 / 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 @@
+Probabilistic Weighted Automata
@@ Property / cites work: Probabilistic Weighted Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Expressiveness and Closure Properties for Quantitative Languages
+Normal rank
@@ Property / cites work @@
+Tree acceptors and some of their applications
@@ Property / cites work: Tree acceptors and some of their applications / rank @@
+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 @@
+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 @@
+A Kleene theorem for weighted tree automata
@@ Property / cites work: A Kleene theorem for weighted tree 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 tree automata and weighted logics
@@ Property / cites work: Weighted tree automata and weighted logics / rank @@
+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 @@
+Weighted logics for unranked tree automata
@@ Property / cites work: Weighted logics for unranked tree automata / rank @@
+Normal rank
@@ Property / cites work @@
+Lattice fuzzy logics
@@ Property / cites work: Lattice fuzzy logics / rank @@
+Normal rank
@@ Property / cites work @@
+Decision Problems of Finite Automata Design and Related Arithmetics
+Normal rank
@@ Property / cites work @@
+Q4449537
@@ Property / cites work: Q4449537 / rank @@
+Normal rank
@@ Property / cites work @@
+A Kleene theorem for weighted tree automata over distributive multioperator monoids
+Normal rank
@@ Property / cites work @@
+A Büchi-like theorem for weighted tree automata over multioperator monoids
+Normal rank
@@ Property / cites work @@
+Q4654640
@@ Property / cites work: Q4654640 / 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 @@
+Q4269222
@@ Property / cites work: Q4269222 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4231020
@@ Property / cites work: Q4231020 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3077193
@@ Property / cites work: Q3077193 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3515223
@@ Property / cites work: Q3515223 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite tree automata with cost functions
@@ Property / cites work: Finite tree automata with cost functions / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized finite automata theory with an application to a decision problem of second-order logic
+Normal rank