The following pages link to (Q4265634):
Displayed 16 items.
- Undecidability in matrices over Laurent polynomials. (Q705234) (← links)
- On the universe, disjointness, and containment problems for simple machines (Q710740) (← links)
- Integer weighted automata on infinite words (Q832935) (← links)
- Some decision problems concerning semilinearity and commutation. (Q1872706) (← links)
- Weighted automata on infinite words in the context of attacker-defender games (Q2013554) (← links)
- Reachability problems in low-dimensional nondeterministic polynomial maps over integers (Q2051802) (← links)
- Finite transducers and rational transductions (Q2074205) (← links)
- On decision problems for parameterized machines (Q2268878) (← links)
- Expressivity of coalgebraic modal logic: the limits and beyond (Q2474056) (← links)
- A finite model construction for coalgebraic modal logic (Q2643335) (← links)
- Weighted Automata on Infinite Words in the Context of Attacker-Defender Games (Q3195698) (← links)
- On Generalizations of Weighted Finite Automata and Graphics Applications (Q3522856) (← links)
- Undecidability of the equivalence of finite substitutions on regular language (Q4265533) (← links)
- Digital Image Compression (Q5072553) (← links)
- Decidability Boundaries for the Finite-Image Property of Weighted Finite Automata (Q6072403) (← links)
- Integer Weighted Automata on Infinite Words (Q6169963) (← links)