The Word Problem for Lattice-ordered Groups

  • A. M. W. Glass ,
  • Yuri Gurevich

Transactions of American Mathematics Society | , Vol 280: pp. 127-138

下载 BibTex

The problem is proven to be undecidable.