Computing on lattice-ordered abelian groups. (English) Zbl 1535.06022
Blass, Andreas (ed.) et al., Fields of logic and computation III. Essays dedicated to Yuri Gurevich on the occasion of his 80th birthday. Cham: Springer. Lect. Notes Comput. Sci. 12180, 210-225 (2020).