• Aucun résultat trouvé

La résolution étendue étroite

N/A
N/A
Info
Télécharger
Protected

Academic year: 2021

Partager "La résolution étendue étroite"

Copied!
9
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

Figure

Figure 1 – Deux amincissements cons´ ecutifs menant ` a une preuve ´ etroite. Les deux extensions sont x ⇔ (a∨d), raccourcissant abdg, et y ⇔ (x ∨ b), raccourcissant xbf g

Références

Télécharger maintenant ( PDF - 9 Page - 526.67 KB )

Documents relatifs