The word problem in free normal valued lattice-ordered groups: A solution and practical shortcuts
From MaRDI portal
Publication:1148929
DOI10.1007/BF02483936zbMath0453.06012MaRDI QIDQ1148929
Publication date: 1982
Published in: Algebra Universalis (Search for Journal in Brave)
Cites Work