Notes de cours - École Polytechnique de Montréal

4.6.3 Sémantique des réseaux colorés . . . . . . . . . . . . . 61 ...... 2Une partition d'un
ensemble X est une famille {Xi} de sous-ensembles de X disjoints entre eux qui
.... au sujet desquelles on a souvent besoin de vérifier la validité d'énoncés. Les.

Part of the document