Decidability, undecidability, and PSPACE-completeness of the twins property in the tropical semiring (Q764364): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2011.11.006
+Normal rank
@@ Property / OpenAlex ID @@
+W1999013503
@@ Property / OpenAlex ID: W1999013503 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449534
@@ Property / cites work: Q4449534 / rank @@
+Normal rank
@@ Property / cites work @@
+Squaring transducers: An efficient procedure for deciding functionality and sequentiality.
+Normal rank
@@ Property / cites work @@
+Q3691074
@@ Property / cites work: Q3691074 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5694616
@@ Property / cites work: Q5694616 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2819390
@@ Property / cites work: Q2819390 / rank @@
+Normal rank
@@ Property / cites work @@
+Une caractérisation des fonctions séquentielles et des fonctions sous- séquentielles en tant que rélations rationnelles
+Normal rank
@@ Property / cites work @@
+Handbook of weighted automata
@@ Property / cites work: Handbook of weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+On the Burnside problem for semigroups of matrices in the \((\max,+)\) algebra
+Normal rank
@@ Property / cites work @@
+Modeling and analysis of timed Petri nets using heaps of pieces
+Normal rank
@@ Property / cites work @@
+Regular path queries under approximate semantics
@@ Property / cites work: Regular path queries under approximate semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms for determining relative star height and star height
+Normal rank
@@ Property / cites work @@
+Communication complexity method for measuring nondeterminism in finite automata
+Normal rank
@@ Property / cites work @@
+Q3742754
@@ Property / cites work: Q3742754 / rank @@
+Normal rank
@@ Property / cites work @@
+Distance desert automata and the star height problem
+Normal rank
@@ Property / cites work @@
+Q3410186
@@ Property / cites work: Q3410186 / rank @@
+Normal rank
@@ Property / cites work @@
+A Burnside Approach to the Termination of Mohri's Algorithm for Polynomially Ambiguous Min-Plus-Automata
+Normal rank
@@ Property / cites work @@
+Deciding Unambiguity and Sequentiality of Polynomially Ambiguous Min-Plus Automata
+Normal rank
@@ Property / cites work @@
+Q3431481
@@ Property / cites work: Q3431481 / rank @@
+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 @@
+New results on the star problem in trace monoids
@@ Property / cites work: New results on the star problem in trace monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted Automata Algorithms
@@ Property / cites work: Weighted Automata Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4155837
@@ Property / cites work: Q4155837 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3804221
@@ Property / cites work: Q3804221 / rank @@
+Normal rank