![header](./images/entete.png)
1 - Decidability and boolean representations. Part I : decidable varieties with modular congruence lattices. Part II : boolean representable varieties |
1 - Decidability and boolean representations. Part I : decidable varieties with modular congruence lattices. Part II : boolean representable varieties |