Mai Gehrke profile picture

Mai Gehrke

Is this your author profile? Create an account to customize it!

Stand Alone

Lattices in Logic A Study of Duality, Correspondance and Canonicity
Relational and Algebraic Methods in Computer Science
Relational and Algebraic Methods in Computer Science 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings