The word problem for lattice ordered groups
From MaRDI portal
Publication:4085782
DOI10.1017/S0013091500015479zbMath0323.06024MaRDI QIDQ4085782
Publication date: 1975
Published in: Proceedings of the Edinburgh Mathematical Society (Search for Journal in Brave)
Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Ordered groups (06F15) Word problems, etc. in computability and recursion theory (03D40)
Related Items (1)
Cites Work
This page was built for publication: The word problem for lattice ordered groups