Name Card

Full name Familienname, Vorname
Bodini, Olivier
 

Own Publications Eigene Publikationen

Results 1-7 of 7 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bodini, Olivier ; Genitrini, Antoine ; Gittenberger, Bernhard ; Larcher, Isabella ; Naima, Mehdi Compaction for two models of logarithmic‐depth trees: Analysis and experimentsArticle Artikel Nov-2021
2Bodini Olivier - 2018 - On the Number of Unary-Binary Tree-Like Structures with...pdf.jpgBodini, Olivier ; Gardy, Daniele ; Gittenberger, Bernhard ; Golebiewski, Zbigniew On the Number of Unary-Binary Tree-Like Structures with Restrictions on the Unary HeightArticle Artikel 2018
3Gittenberger, Bernhard ; Bodini, Olivier ; Golebiewski, Zbigniew The Number of Lambda-Terms with given De Bruijn SizePräsentation Presentation2018
4Bodini, Olivier ; Gittenberger, Bernhard On the number of $BCK(2)$ lambda-termsPräsentation Presentation2014
5Bodini, Olivier ; Gittenberger, Bernhardt On the asymptotic number of BCK(2)-termsKonferenzbeitrag Inproceedings2014
6Bodini, Olivier ; Gardy, D. ; Gittenberger, Bernhard ; Jacquot, Alice Enumeration of generalized BCI lambda-terms.Artikel Article2013
7Bodini, Olivier ; Gardy, D. ; Gittenberger, Bernhard Lambda-terms of bounded unary heightKonferenzbeitrag Inproceedings 2011