Weighted tree automata and weighted logics (Q860890): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2006.08.025
+Normal rank
@@ Property / OpenAlex ID @@
+W2087912140
@@ Property / OpenAlex ID: W2087912140 / 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 @@
+Q3994777
@@ Property / cites work: Q3994777 / rank @@
+Normal rank
@@ Property / cites work @@
+A comparison of tree transductions defined by monadic second order logic and by attribute grammars
+Normal rank
@@ Property / cites work @@
+Q5694616
@@ Property / cites work: Q5694616 / rank @@
+Normal rank
@@ Property / cites work @@
+Implementation and Application of Automata
@@ Property / cites work: Implementation and Application of Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Cut sets as recognizable tree languages
@@ Property / cites work: Cut sets as recognizable tree languages / rank @@
+Normal rank
@@ Property / cites work @@
+On the Determinization of Weighted Finite Automata
+Normal rank
@@ Property / cites work @@
+Effective construction of the syntactic algebra of a recognizable series on trees
+Normal rank
@@ Property / cites work @@
+Equational elements in additive algebras
@@ Property / cites work: Equational elements in additive algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+On the Determinization of Weighted Finite Automata
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs. V: On closing the gap between definability and recognizability
+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 @@
+Q4502531
@@ Property / cites work: Q4502531 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+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 @@
+Decision Problems of Finite Automata Design and Related Arithmetics
+Normal rank
@@ Property / cites work @@
+Bottom-up and top-down tree transformations— a comparison
+Normal rank
@@ Property / cites work @@
+Q4037316
@@ Property / cites work: Q4037316 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical description of context-free graph languages
+Normal rank
@@ Property / cites work @@
+Q4449537
@@ Property / cites work: Q4449537 / rank @@
+Normal rank
@@ Property / cites work @@
+Tree automata for code selection
@@ Property / cites work: Tree automata for code selection / rank @@
+Normal rank
@@ Property / cites work @@
+Q4179852
@@ Property / cites work: Q4179852 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4269222
@@ Property / cites work: Q4269222 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3704880
@@ Property / cites work: Q3704880 / rank @@
+Normal rank
@@ Property / cites work @@
+Some remarks on recognizable treeseries
@@ Property / cites work: Some remarks on recognizable treeseries / rank @@
+Normal rank
@@ Property / cites work @@
+Q2989926
@@ Property / cites work: Q2989926 / 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 @@
+Deciding Equivalence of Finite Tree Automata
@@ Property / cites work: Deciding Equivalence of Finite Tree Automata / 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 @@
+Q4449542
@@ Property / cites work: Q4449542 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized finite automata theory with an application to a decision problem of second-order logic
+Normal rank