Antoine Genitrini

	2012
7		Antoine Genitrini, Jakub Kozik: In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid. Ann. Pure Appl. Logic 163(7): 875-887 (2012)
6		Hervé Fournier, Danièle Gardy, Antoine Genitrini, Bernhard Gittenberger: The fraction of large random trees representing a given Boolean function in implicational logic. Random Struct. Algorithms 40(3): 317-349 (2012)
	2010
5		Hervé Fournier, Danièle Gardy, Antoine Genitrini, Marek Zaionc: Tautologies over implication with negative literals. Math. Log. Q. 56(4): 388-396 (2010)
	2009
4		Antoine Genitrini, Jakub Kozik: Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System. LFCS 2009: 280-294
	2008
3		Hervé Fournier, Danièle Gardy, Antoine Genitrini, Bernhard Gittenberger: Complexity and Limiting Ratio of Boolean Functions over Implication. MFCS 2008: 347-362
	2007
2		Hervé Fournier, Danièle Gardy, Antoine Genitrini, Marek Zaionc: Classical and Intuitionistic Logic Are Asymptotically Identical. CSL 2007: 177-193
1		Antoine Genitrini, Jakub Kozik, Marek Zaionc: Intuitionistic vs. Classical Tautologies, Quantitative Comparison. TYPES 2007: 100-109

Coauthor Index

1	Hervé Fournier	[2] [3] [5] [6]
2	Danièle Gardy	[2] [3] [5] [6]
3	Bernhard Gittenberger	[3] [6]
4	Jakub Kozik	[1] [4] [7]
5	Marek Zaionc	[1] [2] [5]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page