Pages that link to "Item:Q3069735"
From MaRDI portal
The following pages link to ON THE UNDECIDABILITY OF THE IDENTITY CORRESPONDENCE PROBLEM AND ITS APPLICATIONS FOR WORD AND MATRIX SEMIGROUPS (Q3069735):
Displaying 21 items.
- On the membership of invertible diagonal and scalar matrices (Q870838) (← links)
- Examples of undecidable problems for 2-generator matrix semigroups (Q1275458) (← links)
- Weighted automata on infinite words in the context of attacker-defender games (Q2013554) (← links)
- Unambiguous injective morphisms in free groups (Q2105430) (← links)
- Automaton semigroups and groups: on the undecidability of problems related to freeness and finiteness (Q2190041) (← links)
- On injectivity of quantum finite automata (Q2229947) (← links)
- On the computational complexity of matrix semigroup problems (Q2893294) (← links)
- Matrix Semigroup Freeness Problems in SL $$(2,\mathbb {Z})$$ (Q2971140) (← links)
- Weighted Automata on Infinite Words in the Context of Attacker-Defender Games (Q3195698) (← links)
- Ambiguity of Morphisms in a Free Group (Q3449361) (← links)
- The Identity Correspondence Problem and Its Applications (Q3652252) (← links)
- ON THE UNDECIDABILITY OF FREENESS OF MATRIX SEMIGROUPS (Q4513303) (← links)
- On the Identity Problem for the Special Linear Group and the Heisenberg Group. (Q5002819) (← links)
- On Reachability Problems for Low-Dimensional Matrix Semigroups (Q5091195) (← links)
- Acceptance Ambiguity for Quantum Automata (Q5092433) (← links)
- (Q5111259) (← links)
- Developments in Language Theory (Q5473667) (← links)
- The membership problem for subsemigroups of \(\operatorname{GL}_2(\mathbb{Z})\) is \textbf{NP}-complete (Q6178465) (← links)
- On simulating Turing machines with matrix semigroups with integrality tests (Q6562876) (← links)
- On the identity and group problems for complex Heisenberg matrices (Q6623013) (← links)
- Semigroup intersection problems in the Heisenberg groups (Q6654128) (← links)
