Article Dans Une Revue
Mathematical Logic Quarterly
Année : 2010
Antoine Genitrini : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00530496
Soumis le : vendredi 29 octobre 2010-10:20:35
Dernière modification le : vendredi 24 mars 2023-14:52:53
Citer
Hervé Fournier, Danièle Gardy, Antoine Genitrini, Marek Zaionc. Tautologies over implication with negative literals. Mathematical Logic Quarterly, 2010, 56 (4), pp.388-396. ⟨10.1002/malq.200810053⟩. ⟨hal-00530496⟩
29
Consultations
0
Téléchargements