The word problem for omega-terms over the Trotter-Weil hierarchy

From MaRDI portal
Publication:1635816