Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics (Q2947150): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-23021-4_9
+Normal rank
@@ Property / OpenAlex ID @@
+W2293780282
@@ Property / OpenAlex ID: W2293780282 / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted versus Probabilistic Logics
@@ Property / cites work: Weighted versus Probabilistic Logics / rank @@
+Normal rank
@@ Property / cites work @@
+One-unambiguous regular languages
@@ Property / cites work: One-unambiguous regular languages / 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 @@
+Weighted automata and weighted logics
@@ Property / cites work: Weighted automata and weighted logics / 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 @@
+Weighted automata and weighted MSO logics for average and long-time behaviors
+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 @@
+Weighted logics for unranked tree automata
@@ Property / cites work: Weighted logics for unranked tree automata / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted automata and multi-valued logics over arbitrary bounded lattices
+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 @@
+Weighted Tree Automata and Tree Transducers
@@ Property / cites work: Weighted Tree Automata and Tree Transducers / rank @@
+Normal rank
@@ Property / cites work @@
+Forward and backward application of symbolic tree transducers
+Normal rank
@@ Property / cites work @@
+Q5502720
@@ Property / cites work: Q5502720 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation Minimisation of Weighted Automata on Unranked Trees
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / 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 @@
+Weighted Logics for Traces
@@ Property / cites work: Weighted Logics for Traces / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411812
@@ Property / cites work: Q4411812 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3515223
@@ Property / cites work: Q3515223 / rank @@
+Normal rank
@@ Property / cites work @@
+Extending two-variable logic on data trees with order on data values and its automata
+Normal rank
@@ Property / cites work @@
+Characterizing derivation trees of context-free grammars through a generalization of finite automata theory
+Normal rank
@@ Property / cites work @@
+Symbolic Tree Transducers
@@ Property / cites work: Symbolic Tree Transducers / rank @@
+Normal rank