Efficient Algorithms on the Family Associated to an Implicational System
Article dans une revue
Karell Bertet, Mirabelle Nebut
Publié le: