Peter Jipsen profile picture

Peter Jipsen

Stand Alone

Varieties of lattices
Relational and Algebraic Methods in Computer Science
Relational and Algebraic Methods in Computer Science 18th International Conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020, Proceedings