Zahnd, JacquesThayse, André2005-03-162005-03-16198010.5075/epfl-thesis-345https://infoscience.epfl.ch/handle/20.500.14299/204390frLe calcul booléen des différencesthesis::doctoral thesis