Products of matrices and recursively enumerable sets
type: Item
instance of: scholarly article
title: Products of matrices and recursively enumerable sets
zbMATH Open document ID: 1401.03080
author: Juha Honkala
published in: Journal of Computer and System Sciences
publication date: 2014-11-24T00:00:00Z
Mathematics Subject Classification ID: 03D35
Mathematics Subject Classification ID: 03D25
Mathematics Subject Classification ID: 15A30
zbMATH DE Number: 6372039
zbMATH Keywords: matrix
zbMATH Keywords: recursively enumerable set
zbMATH Keywords: Diophantine representation
zbMATH Keywords: Rice's theorem
zbMATH Keywords: decidability
MaRDI profile type: Publication
full work available at URL: j.jcss.2014.10.004
OpenAlex ID: W2011410600
cites work: MATRIX EQUATIONS AND HILBERT'S TENTH PROBLEM
cites work: On the membership of invertible diagonal and scalar matrices
cites work: ON THE UNDECIDABILITY OF FREENESS OF MATRIX SEMIGROUPS
cites work: On the decidability of semigroup freeness.
cites work: The freeness problem over matrix semigroups and bounded languages
cites work: UNDECIDABILITY BOUNDS FOR INTEGER MATRICES USING CLAUS INSTANCES
cites work: Polynomial-time algorithm for the orbit problem
cites work: ON THE UNDECIDABILITY OF THE FREENESS OF INTEGER MATRIX SEMIGROUPS
cites work: Q3704880
cites work: On finite semigroups of matrices
cites work: Q3992465
cites work: Unsolvability in 3 × 3 Matrices
cites work: Q3680279
cites work: Q4155837
DOI: 10.1016/J.JCSS.2014.10.004
description: scientific article; zbMATH DE number 6372039