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 (3)
New decision algorithms for finitely presented commutative semigroups ⋮ The diamond lemma for ring theory ⋮ Efficient solution of the word problem in slim varieties
This page was built for publication: A Decision Problem for Transformations of Trees