dblp.uni-trier.dewww.uni-trier.de

Antoine Genitrini

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
4EEAntoine Genitrini, Jakub Kozik: Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System. LFCS 2009: 280-294
2008
3EEHervé Fournier, Danièle Gardy, Antoine Genitrini, Bernhard Gittenberger: Complexity and Limiting Ratio of Boolean Functions over Implication. MFCS 2008: 347-362
2007
2EEHervé Fournier, Danièle Gardy, Antoine Genitrini, Marek Zaionc: Classical and Intuitionistic Logic Are Asymptotically Identical. CSL 2007: 177-193
1EEAntoine Genitrini, Jakub Kozik, Marek Zaionc: Intuitionistic vs. Classical Tautologies, Quantitative Comparison. TYPES 2007: 100-109

Coauthor Index

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)