An Implementation of Deterministic Tree Automata Minimization (Q3503900): 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-540-76336-9_13
+Normal rank
@@ Property / OpenAlex ID @@
+W1544575850
@@ Property / OpenAlex ID: W1544575850 / rank @@
+Normal rank
@@ 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