Pages that link to "Item:Q1105626"
From MaRDI portal
The following pages link to The word and generator problems for lattices (Q1105626):
Displaying 7 items.
- Non-commutative lattice problems (Q285583) (← links)
- Partial algebras and complexity of satisfiability and universal theory for distributive lattices, Boolean algebras and Heyting algebras (Q391322) (← links)
- On the word problem of lattices with the help of graphs (Q1182531) (← links)
- Generality and existence: quantificational logic in historical perspective (Q2795206) (← links)
- A solution of the uniform word problem for ortholattices (Q3583025) (← links)
- Residuated Algebraic Structures in the Vicinity of Pre-rough Algebra and Decidability (Q5164857) (← links)
- In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs (Q5421030) (← links)