Pages that link to "Item:Q5758380"
From MaRDI portal
The following pages link to ON THE UNDECIDABILITY OF THE FREENESS OF INTEGER MATRIX SEMIGROUPS (Q5758380):
Displayed 23 items.
- Products of matrices and recursively enumerable sets (Q473201) (← links)
- Examples of undecidable problems for 2-generator matrix semigroups (Q1275458) (← 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)
- 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)
- Finding binomials in polynomial ideals (Q2408988) (← links)
- On the decidability of semigroup freeness (Q2905326) (← links)
- Matrix Semigroup Freeness Problems in SL $$(2,\mathbb {Z})$$ (Q2971140) (← links)
- Vector Ambiguity and Freeness Problems in SL $$(2,\mathbb {Z})$$ (Q2988836) (← links)
- UNDECIDABILITY BOUNDS FOR INTEGER MATRICES USING CLAUS INSTANCES (Q3065609) (← links)
- On free semigroups of affine maps on the real line (Q3390640) (← links)
- MATRIX EQUATIONS AND HILBERT'S TENTH PROBLEM (Q3601323) (← links)
- NUMBER SYSTEMS AND THE INJECTIVITY PROBLEM FOR MATRIX REPRESENTATIONS OF FREE MONOIDS (Q3636025) (← links)
- Post Correspondence Problem and Small Dimensional Matrices (Q3637212) (← links)
- ON THE UNDECIDABILITY OF FREENESS OF MATRIX SEMIGROUPS (Q4513303) (← links)
- (Q4576543) (← links)
- On equality of Hausdorff and affinity dimensions, via self-affine measures on positive subsystems (Q4644941) (← links)
- Relations in the semigroup of 2 × 2 upper-triangular matrices (Q4960461) (← links)
- Freeness Problem for Matrix Semigroups of Parikh Matrices (Q5164864) (← links)
- Substitution invariant Sturmian words and binary trees (Q5384326) (← links)
- A survey of computational complexity results in systems and control (Q5926262) (← links)