On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results.
CADE. 1999 S. 157 - 171
Erscheinungsjahr: 1999
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/3-540-48660-7_11
Geprüft | Bibliothek |