Equivalence, Unambiguity, and Sequentiality of Finitely Ambiguous Max-Plus Tree Automata (Q6154973): Difference between revisions

@@ Property / cites work @@
+Q3994777
@@ Property / cites work: Q3994777 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751364
@@ Property / cites work: Q2751364 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5694616
@@ Property / cites work: Q5694616 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of weighted automata
@@ Property / cites work: Handbook of weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+Performance evaluation of (max,+) automata
@@ Property / cites work: Performance evaluation of (max,+) automata / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling and analysis of timed Petri nets using heaps of pieces
+Normal rank
@@ Property / cites work @@
+Algorithms for determining relative star height and star height
+Normal rank
@@ Property / cites work @@
+DECIDABILITY OF THE EQUIVALENCE PROBLEM FOR FINITELY AMBIGUOUS FINANCE AUTOMATA
+Normal rank
@@ Property / cites work @@
+An algebraic characterization of semirings for which the support of every recognizable series is recognizable
+Normal rank
@@ Property / cites work @@
+Deciding Unambiguity and Sequentiality of Polynomially Ambiguous Min-Plus Automata
+Normal rank
@@ Property / cites work @@
+Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton
+Normal rank
@@ Property / cites work @@
+THE EQUALITY PROBLEM FOR RATIONAL SERIES WITH MULTIPLICITIES IN THE TROPICAL SEMIRING IS UNDECIDABLE
+Normal rank
@@ Property / cites work @@
+Q3704880
@@ Property / cites work: Q3704880 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040221
@@ Property / cites work: Q4040221 / rank @@
+Normal rank
@@ Property / cites work @@
+On Context-Free Languages
@@ Property / cites work: On Context-Free Languages / rank @@
+Normal rank
@@ Property / cites work @@
+On Finite and Polynomial Ambiguity of Weighted Tree Automata
+Normal rank
@@ Property / cites work @@
+Q5111268
@@ Property / cites work: Q5111268 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite sequentiality of unambiguous max-plus tree automata
+Normal rank
@@ Property / cites work @@
+Coarse-to-fine natural language processing
@@ Property / cites work: Coarse-to-fine natural language processing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4155837
@@ Property / cites work: Q4155837 / rank @@
+Normal rank
@@ Property / cites work @@
+On the definition of a family of automata
@@ Property / cites work: On the definition of a family of automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q3804221
@@ Property / cites work: Q3804221 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite-valued distance automata
@@ Property / cites work: Finite-valued distance automata / rank @@
+Normal rank