On the Word Problem for Orthocomplemented Modular Lattices
From MaRDI portal
Publication:3472154
Recommendations
Cited in
(7)- On \(n\)-distributive modular ortholattices
- On the consistency problem for modular lattices and related structures
- Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17–19, 1946), By Alfred Tarski
- A solution of the uniform word problem for ortholattices
- The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy
- On the complexity of equational decision problems for finite height complemented and orthocomplemented modular lattices
- The free orthomodular word problem is solvable
This page was built for publication: On the Word Problem for Orthocomplemented Modular Lattices
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3472154)