Pages that link to "Item:Q1095897"
From MaRDI portal
The following pages link to The complexity of the word problem for abelian l-groups (Q1095897):
Displaying 4 items.
- Proof theory for lattice-ordered groups (Q287483) (← links)
- The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete (Q1006641) (← links)
- A simple proof of the hereditary undecidability of the theory of lattice- ordered Abelian groups (Q1064333) (← links)
- Fans, decision problems and generators of free abelian \(\ell\)-groups (Q1683673) (← links)