Result: Polynomial-time Equational Theory for Lattices with Unary Operators
Title:
Polynomial-time Equational Theory for Lattices with Unary Operators
Authors:
Van Alten, C.J.Aff1, IDs11083025097014_cor1
Source:
Order: A Journal on the Theory of Ordered Sets and its Applications. 42(3):645-662
Database:
Springer Nature Journals