Weighted tree automata with constraints (Q2164002): Difference between revisions

@@ 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-031-05578-2_18
+Normal rank
@@ Property / OpenAlex ID @@
+W4285164036
@@ Property / OpenAlex ID: W4285164036 / rank @@
+Normal rank
@@ Property / cites work @@
+Equality and disequality constraints on direct subterms in tree automata
+Normal rank
@@ Property / cites work @@
+Implementation and Application of Automata
@@ Property / cites work: Implementation and Application of Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q3431477
@@ Property / cites work: Q3431477 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4942651
@@ Property / cites work: Q4942651 / 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 @@
+Q4449537
@@ Property / cites work: Q4449537 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2882382
@@ Property / cites work: Q2882382 / 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 @@
+Q3323279
@@ Property / cites work: Q3323279 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5395720
@@ Property / cites work: Q5395720 / 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 @@
+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 @@
+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 @@
+Tree Automata, (Dis-)Equality Constraints and Term Rewriting
+Normal rank
@@ Property / cites work @@
+Q4383325
@@ Property / cites work: Q4383325 / rank @@
+Normal rank
@@ Property / cites work @@
+Compiler Design
@@ Property / cites work: Compiler Design / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2164002