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 10 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)
- On the complexity of equational decision problems for finite height complemented and orthocomplemented modular lattices (Q2073367) (← links)
- Quantum logic is undecidable (Q2663337) (← links)
- Free Modular Lattices (Q3877741) (← links)
- An algebraic glimpse at bunched implications and separation logic (Q6201543) (← links)