MINIMIZATION OF PLANAR DIRECTED ACYCLIC GRAPH ALGEBRAS (Q2856022): Difference between revisions

@@ Property / cites work @@
+BISIMULATION MINIMIZATION OF TREE AUTOMATA
@@ Property / cites work: BISIMULATION MINIMIZATION OF TREE AUTOMATA / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatization of graphs
@@ Property / cites work: An axiomatization of graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Recognizability of graph and pattern languages
@@ Property / cites work: Recognizability of graph and pattern languages / rank @@
+Normal rank
@@ Property / cites work @@
+Graph automata
@@ Property / cites work: Graph automata / rank @@
+Normal rank
@@ Property / cites work @@
+Mergible states in large NFA
@@ Property / cites work: Mergible states in large NFA / rank @@
+Normal rank
@@ Property / cites work @@
+Backward and forward bisimulation minimization of tree automata
+Normal rank
@@ Property / cites work @@
+Parallel and two-way automata on directed ordered acyclic graphs
+Normal rank
@@ Property / cites work @@
+Minimizing deterministic weighted tree automata
@@ Property / cites work: Minimizing deterministic weighted tree automata / rank @@
+Normal rank