Lowering Undecidability Bounds for Decision Questions in Matrices
From MaRDI portal
Publication:3617076
DOI10.1007/11779148_34zbMath1227.03057MaRDI QIDQ3617076
Publication date: 26 March 2009
Published in: Developments in Language Theory (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11779148_34
20M20: Semigroups of transformations, relations, partitions, etc.
03D35: Undecidability and degrees of sets of sentences
03B25: Decidability of theories and sets of sentences
Related Items