Pages that link to "Item:Q2905326"
From MaRDI portal
The following pages link to On the decidability of semigroup freeness. (Q2905326):
Displaying 25 items.
- Remarks concerning the freeness problem over morphism and matrix semigroups. (Q300262) (← links)
- Products of matrices and recursively enumerable sets (Q473201) (← links)
- A Kraft-McMillan inequality for free semigroups of upper-triangular matrices (Q476180) (← links)
- A note on decidability questions on presentations of word semigroups (Q1391138) (← links)
- Vector and scalar reachability problems in \(\operatorname{SL}(2, \mathbb{Z})\) (Q1740664) (← links)
- On injectivity of quantum finite automata (Q2229947) (← links)
- The freeness problem over matrix semigroups and bounded languages (Q2252531) (← links)
- On the problem of freeness of multiplicative matrix semigroups (Q2268869) (← links)
- Freeness properties of weighted and probabilistic automata over bounded languages (Q2280319) (← links)
- On the membership problem for some subgroups of \(SL_2(\mathbf{Z})\) (Q2322854) (← links)
- Solving the membership problem for parabolic Möbius monoids (Q2416388) (← links)
- A characterization of free pairs of upper triangular free monoid morphisms (Q2417854) (← links)
- Matrix Semigroup Freeness Problems in SL $$(2,\mathbb {Z})$$ (Q2971140) (← links)
- On the determinability of free trioids by semigroups of endomorphisms (Q3464144) (← links)
- DECIDABILITY OF THE UNIVERSAL AND POSITIVE THEORIES OF A FREE GROUP (Q3699893) (← links)
- (Q3816046) (← links)
- ON THE UNDECIDABILITY OF FREENESS OF MATRIX SEMIGROUPS (Q4513303) (← links)
- (Q4576543) (← links)
- Decidability of the representation extension property for finite semigroups (Q4942898) (← links)
- Relations in the semigroup of 2 × 2 upper-triangular matrices (Q4960461) (← links)
- Acceptance Ambiguity for Quantum Automata (Q5092433) (← links)
- Freeness Problem for Matrix Semigroups of Parikh Matrices (Q5164864) (← links)
- Strongly automatic semigroups (Q5401569) (← links)
- The membership problem for subsemigroups of \(\operatorname{GL}_2(\mathbb{Z})\) is \textbf{NP}-complete (Q6178465) (← links)
- Commuting upper triangular binary morphisms (Q6614539) (← links)
