Publisher
Springer International Publishing
Reference32 articles.
1. Balbes, R., Dwinger, P.: Distributive Lattices. University of Missouri Press, Columbia (1974)
2. Ballarin, C.: Locales: a module system for mathematical theories. J. Autom. Reason. 52(2), 123–153 (2014)
3. Birkhoff, G.: Lattice Theory, Colloquium Publications, vol. XXV, 3rd edn. American Mathematical Society, Providence (1967)
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);JC Blanchette,2011
5. Blyth, T.S.: Lattices and Ordered Algebraic Structures. Springer, London (2005).
https://doi.org/10.1007/b139095