A Congruence-Based Perspective on Finite Tree Automata (Q5025071): Difference between revisions

@@ Property / cites work @@
+Q4179852
@@ Property / cites work: Q4179852 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3323279
@@ Property / cites work: Q3323279 / rank @@
+Normal rank
@@ Property / cites work @@
+Tree regular model checking: a simulation-based approach
+Normal rank
@@ Property / cites work @@
+Applications of Weighted Automata in Natural Language Processing
+Normal rank
@@ Property / cites work @@
+BISIMULATION MINIMIZATION OF TREE AUTOMATA
@@ Property / cites work: BISIMULATION MINIMIZATION OF TREE AUTOMATA / rank @@
+Normal rank
@@ Property / cites work @@
+Reduction of nondeterministic tree automata
@@ Property / cites work: Reduction of nondeterministic tree automata / rank @@
+Normal rank
@@ Property / cites work @@
+Backward and forward bisimulation minimization of tree automata
+Normal rank
@@ Property / cites work @@
+The minimalization of tree automata
@@ Property / cites work: The minimalization of tree automata / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal Ascending and Descending Tree Automata
@@ Property / cites work: Minimal Ascending and Descending Tree Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q3902489
@@ Property / cites work: Q3902489 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5725992
@@ Property / cites work: Q5725992 / rank @@
+Normal rank
@@ Property / cites work @@
+A congruence-based perspective on automata minimization algorithms
+Normal rank
@@ Property / cites work @@
+Q4005203
@@ Property / cites work: Q4005203 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of átomata
@@ Property / cites work: Theory of átomata / rank @@
+Normal rank
@@ Property / cites work @@
+A geometrical view of the determinization and minimization of finite-state automata
+Normal rank
@@ Property / cites work @@
+Q5089207
@@ Property / cites work: Q5089207 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4452060
@@ Property / cites work: Q4452060 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4206221096
@@ Property / OpenAlex ID: W4206221096 / rank @@
+Normal rank