An Implementation of Deterministic Tree Automata Minimization (Q3503900): Difference between revisions

@@ Property / cites work @@
+The minimalization of tree automata
@@ Property / cites work: The minimalization of tree automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q3323279
@@ Property / cites work: Q3323279 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+An O(n \text{log} n) implementation of the standard method for minimizing n-state finite automata
+Normal rank
@@ Property / cites work @@
+Three Partition Refinement Algorithms
@@ Property / cites work: Three Partition Refinement Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Incremental construction of minimal tree automata
@@ Property / cites work: Incremental construction of minimal tree automata / rank @@
+Normal rank