Pages that link to "Item:Q4775863"
From MaRDI portal
The following pages link to The Undecidability of the Word Problems for Projective Geometries and Modular Lattices (Q4775863):
Displayed 7 items.
- Proof theory for linear lattices (Q1070254) (← links)
- Some algorithmic problems for projective planes (Q1073331) (← links)
- Rahmen und erzeugende Quadrupel in modularen Verbänden (Q1173108) (← links)
- A test for identities satisfied in lattices of submodules (Q1248533) (← links)
- On the word problem for the modular lattice with four free generators (Q1836679) (← links)
- Decision problems for distributive lattice-ordered semigroups (Q1891276) (← links)
- Free Modular Lattices (Q3877741) (← links)