On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results.

Viorica Sofronie-Stokkermans

Browse the full CADE paper archive.