Minimizing deterministic weighted tree automata (Q1041045): Difference between revisions

@@ Property / DOI @@
-.1016/j.ic.2009.01.004
@@ Property / DOI: 10.1016/j.ic.2009.01.004 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+FIRE station
@@ Property / describes a project that uses: FIRE station / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OpenFst
@@ Property / describes a project that uses: OpenFst / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Tiburon
@@ Property / describes a project that uses: Tiburon / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Carmel
@@ Property / describes a project that uses: Carmel / 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.1016/j.ic.2009.01.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2132629030
@@ Property / OpenAlex ID: W2132629030 / rank @@
+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 @@
+Equational elements in additive algebras
@@ Property / cites work: Equational elements in additive algebras / rank @@
+Normal rank
@@ Property / cites work @@
+On the Determinization of Weighted Finite Automata
+Normal rank
@@ Property / cites work @@
+Q3704880
@@ Property / cites work: Q3704880 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4179852
@@ Property / cites work: Q4179852 / 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 @@
+OpenFst: A General and Efficient Weighted Finite-State Transducer Library
+Normal rank
@@ Property / cites work @@
+Tiburon: A Weighted Tree Automata Toolkit
@@ Property / cites work: Tiburon: A Weighted Tree Automata Toolkit / 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 @@
+Minimizing Deterministic Weighted Tree Automata
@@ Property / cites work: Minimizing Deterministic Weighted Tree Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4452058
@@ Property / cites work: Q4452058 / 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 @@
+Learning regular sets from queries and counterexamples
+Normal rank
@@ Property / cites work @@
+Learning Multiplicity Tree Automata
@@ Property / cites work: Learning Multiplicity Tree Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q3517256
@@ Property / cites work: Q3517256 / rank @@
+Normal rank
@@ Property / cites work @@
+Learning Deterministically Recognizable Tree Series — Revisited
+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 @@
+Minimization algorithms for sequential transducers
+Normal rank
@@ Property / cites work @@
+Learning tree languages from positive examples and membership queries
+Normal rank
@@ Property / cites work @@
+Backward and Forward Bisimulation Minimisation of Tree Automata
+Normal rank
@@ Property / cites work @@
+Q4045961
@@ Property / cites work: Q4045961 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.IC.2009.01.004
@@ Property / DOI: 10.1016/J.IC.2009.01.004 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1041045