Antoine Genitrini
Author
Alternate names A. Genitrini, Antoine Genitrini
Institution RealNetworks (United States)
Past institutions Centre National de la Recherche Scientifique, Sorbonne Université, RealNetworks (United States), Laboratoire de Recherche en Informatique de Paris 6, Université Paris Cité +4 more
ORCID: Yes
H-index: 9
I10-index: 7
Works count: 74
Citations count: 266
Classical and Intuitionistic Logic Are Asymptotically Identical
2007 · Hervé Fournier, Danièle Gardy, et al. · Lecture notes in computer science
Intuitionistic vs. Classical Tautologies, Quantitative Comparison
2008 · Antoine Genitrini, Jakub Kozik, et al. · Types for Proofs and Programs
The fraction of large random trees representing a given Boolean function in implicational logic
2011 · Hervé Fournier, Danièle Gardy, et al. · Random Structures and Algorithms