A Decision Problem for Transformations of Trees
From MaRDI portal
Publication:5725265
DOI10.4153/CJM-1963-059-9zbMath0116.14905MaRDI QIDQ5725265
Publication date: 1963
Published in: Canadian Journal of Mathematics (Search for Journal in Brave)
Related Items
New decision algorithms for finitely presented commutative semigroups, The diamond lemma for ring theory, Efficient solution of the word problem in slim varieties
