Publication:4168953
From MaRDI portal
zbMath0387.06011MaRDI QIDQ4168953
W. Charles Holland, Stephen H. McCleary
Publication date: 1979
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
From distributive \(\ell\)-monoids to \(\ell\)-groups, and back again, Integrally closed residuated lattices, Proof theory for lattice-ordered groups, Sublattice subgroups of finitely presented lattice-ordered groups., The Word Problem for Free Lattice-Ordered Groups (and Some Other Free Algebras), Deciding Equations in the Time Warp Algebra, The word problem in free normal valued lattice-ordered groups: A solution and practical shortcuts, Time warps, from algebra to algorithms, Free lattice-ordered groups, Automorphism groups of totally ordered sets: A retrospective survey, W. Charles Holland, 75th birthday, Generalized MV-algebras, Ordering groups and validity in lattice-ordered groups, Varieties of lattice-ordered algebras, Ordered groups, Model-theoretic and algorithmic questions in group theory, A simple proof of the hereditary undecidability of the theory of lattice- ordered Abelian groups, Representations of free lattice-ordered groups