Solving the Weighted HOM-Problem With the Help of Unambiguity (Q6204136): Difference between revisions

@@ Property / cites work @@
+Graph automata
@@ Property / cites work: Graph automata / rank @@
+Normal rank
@@ Property / cites work @@
+The HOM Problem is EXPTIME-Complete
@@ Property / cites work: The HOM Problem is EXPTIME-Complete / rank @@
+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 @@
+Grammatical picture generation. A tree-based approach. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+The Supports of Weighted Unranked Tree Automata
@@ Property / cites work: The Supports of Weighted Unranked Tree Automata / 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 @@
+Q5395720
@@ Property / cites work: Q5395720 / rank @@
+Normal rank
@@ Property / cites work @@
+The HOM problem is decidable
@@ Property / cites work: The HOM problem is decidable / rank @@
+Normal rank
@@ Property / cites work @@
+Q4700998
@@ Property / cites work: Q4700998 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4229053
@@ Property / cites work: Q4229053 / rank @@
+Normal rank
@@ Property / cites work @@
+The Support of a Recognizable Series over a Zero-sum Free, Commutative Semiring is Recognizable
+Normal rank
@@ Property / cites work @@
+Weighted tree automata with constraints
@@ Property / cites work: Weighted tree automata with constraints / rank @@
+Normal rank
@@ Property / cites work @@
+A disambiguation algorithm for weighted automata
@@ Property / cites work: A disambiguation algorithm for weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q3698327
@@ Property / cites work: Q3698327 / 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 @@
+Disambiguation of weighted tree automata
@@ Property / cites work: Disambiguation of weighted tree automata / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing derivation trees of context-free grammars through a generalization of finite automata theory
+Normal rank
@@ Property / cites work @@
+Generalized finite automata theory with an application to a decision problem of second-order logic
+Normal rank
@@ Property / cites work @@
+Compiler Design
@@ Property / cites work: Compiler Design / rank @@
+Normal rank