The congruences of a lattice form the congruence lattice. In the past half-century, the study of congruence lattices has ...
Lire la suite
This book constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Satisfiability ...
Lire la suite
This small book has for a long time been a unique place to find classical results from geometry, such as Pythagoras' theorem, ...
Lire la suite
Editor Kim Williams has assembled a group of notes where scholars contribute essays inspired by their contact with Prof David ...
Lire la suite