Publications de Gardy :

The growing trees distribution on Boolean functions. [Version pdf] Brigitte Chauvin, Danièle Gardy and Cécile Mailler. In proc. 8th SIAM Workshop on Analytic and Combinatorics (ANALCO), pp 45-56, 2011.

The fraction of large random trees representing a given boolean function in implicational logic. [Version pdf] H. Fournier, D. Gardy, A. Genitrini and B. Gittenberger. Random Structures and Algorithms (RSA), to appear: 2011.

Lambda-terms of Bounded Unary Height. O. Bodini, D. Gardy, B. Gittenberger. International Workshop ANALCO, San Francisco (USA), Janvier 2011.

Tautologies over implication with negative literals. H. Fournier, D. Gardy, A. Genitrini, M. Zaionc. Mathematical Logic Quarterly, 56 (4), pp 388-396, 2010. .

A new probability distribution for Boolean functions: the growing tree distribution. Brigitte Chauvin, Danièle Gardy et Cécile Mailler. Random Structures and Algorithms, à paraître.