The equational theory of CA3 is undecidable

DOI10.2307/2273191zbMath0435.03010OpenAlexW2012917747MaRDI QIDQ3874171

Could not fetch data.

Publication date: 1980

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273191

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.