Pages that link to "Item:Q4365014"

The following pages link to On semigroups of matrices over the tropical semiring (Q4365014):

Displaying 43 items.

• Rank functions of tropical matrices (Q269280) (← links)
• Approximate comparison of functions computed by distance automata (Q290904) (← links)
• Diameters of commuting graphs of matrices over semirings (Q444646) (← links)
• Multiplicative structure of \(2\times 2\) tropical matrices (Q550662) (← links)
• Elements of tropical linear algebra (Q846300) (← links)
• Bounded regular path queries in view-based data integration (Q989472) (← links)
• Exponential upper and lower bounds for the order of a regular language (Q1341751) (← links)
• New upper bounds to the limitedness of distance automata (Q1575957) (← links)
• A congruence on the semiring of normal tropical matrices (Q1654409) (← links)
• The tropical matrix groups with symmetric idempotents (Q1727121) (← links)
• Tropical plactic algebra, the cloaktic monoid, and semigroup representations (Q1727711) (← links)
• Tribute: The influence of Imre Simon's work in the theory of automata, languages and semigroups (Q1731800) (← links)
• Some properties of recognizable \(\mathcal Z\)-subsets (Q1870588) (← links)
• The limitedness problem on distance automata: Hashiguchi's method revisited (Q1884970) (← links)
• On factorization forests of finite height (Q1884989) (← links)
• On the Burnside problem for semigroups of matrices in the \((\max,+)\) algebra (Q1914078) (← links)
• Green's \(\mathcal J\)-order and the rank of tropical matrices. (Q1946169) (← links)
• Equational theories of upper triangular tropical matrix semigroups (Q2046357) (← links)
• What's decidable about weighted automata? (Q2064522) (← links)
• The factorisation forest theorem (Q2074219) (← links)
• Algorithms for approximate subtropical matrix factorization (Q2218339) (← links)
• Polytropes and tropical eigenspaces: cones of linearity (Q2249471) (← links)
• Stamina: stabilisation monoids in automata theory (Q2399252) (← links)
• The max-plus algebra of exponent matrices of tiled orders (Q2401706) (← links)
• Regular path queries under approximate semantics (Q2502162) (← links)
• Tropical Gaussians: a brief survey (Q2659092) (← links)
• Deciding Maxmin Reachability in Half-Blind Stochastic Games (Q2819447) (← links)
• THE FINITE BASIS PROBLEM FOR THE MONOID OF TWO-BY-TWO UPPER TRIANGULAR TROPICAL MATRICES (Q3186380) (← links)
• Tropical representations and identities of plactic monoids (Q3388506) (← links)
• Trading Bounds for Memory in Games with Counters (Q3449476) (← links)
• A Burnside Approach to the Termination of Mohri's Algorithm for Polynomially Ambiguous Min-Plus-Automata (Q3526417) (← links)
• R-Automata (Q3541011) (← links)
• The Height of Factorization Forests (Q3599148) (← links)
• Automatic Termination (Q3636815) (← links)
• Factorization Forests (Q3637210) (← links)
• The closure under division and a characterization of the recognizable $\mathcal {Z}$-subsets (Q4717041) (← links)
• The minimizing vector theorem in symmetrized max-plus algebra (Q4967856) (← links)
• Methods and applications of (max,+) linear algebra (Q5048930) (← links)
• Universality of R-automata with Value Copying (Q5179055) (← links)
• Distance desert automata and the star height problem (Q5313718) (← links)
• MEMBERSHIP AND FINITENESS PROBLEMS FOR RATIONAL SETS OF REGULAR LANGUAGES (Q5483370) (← links)
• REACHABILITY PROBLEMS FOR PRODUCTS OF MATRICES IN SEMIRINGS (Q5483458) (← links)
• The boundedness and zero isolation problems for weighted automata over nonnegative rationals (Q6649444) (← links)