Journal Articles
Mathematical Logic Quarterly
Year : 2010
Antoine Genitrini : Connect in order to contact the contributor
https://hal.science/hal-00530496
Submitted on : Friday, October 29, 2010-10:20:35 AM
Last modification on : Friday, March 24, 2023-2:52:53 PM
Cite
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
View
0
Download