Pages that link to "Item:Q1182531"
From MaRDI portal
The following pages link to On the word problem of lattices with the help of graphs (Q1182531):
Displaying 8 items.
- Lattices freely generated by an order and preserving certain bounds (Q412015) (← links)
- Cut elimination and word problems for varieties of lattices (Q786808) (← links)
- Proof theory for linear lattices (Q1070254) (← links)
- The word and generator problems for lattices (Q1105626) (← links)
- Symmetric embeddings of free lattices into each other (Q1729792) (← links)
- A Horn sentence for involution lattices of quasiorders (Q1842101) (← links)
- Lattices of processes in graphs with inputs (Q1907769) (← links)
- (Q3574413) (← links)