Mesurer la hauteur d’un arbre

Jean Christophe Filliâtre

Mesurer la hauteur d’un arbre

Translated title of the contribution: Measuring the height of a tree

Jean Christophe Filliâtre

École Polytechnique

Research output: Contribution to conference › Paper › peer-review

Translated title of the contribution	Measuring the height of a tree
Original language	French
Pages	160-167
Number of pages	8
Publication status	Published - 1 Jan 2020
Event	31eme Journees Francophones des Langages Applicatifs, JFLA 2020 - 31st French-Speaking Conference on Applicative Languages, JFLA 2020 - Gruissan, France Duration: 29 Jan 2020 → 1 Feb 2020

Conference

Conference	31eme Journees Francophones des Langages Applicatifs, JFLA 2020 - 31st French-Speaking Conference on Applicative Languages, JFLA 2020
Country/Territory	France
City	Gruissan
Period	29/01/20 → 1/02/20

Cite this

@conference{b0a0a64c80824d63b016fd3e1282b140,

title = "Mesurer la hauteur d{\textquoteright}un arbre",

author = "Filli{\^a}tre, \{Jean Christophe\}",

year = "2020",

month = jan,

day = "1",

language = "Fran{\c c}ais",

pages = "160--167",

note = "31eme Journees Francophones des Langages Applicatifs, JFLA 2020 - 31st French-Speaking Conference on Applicative Languages, JFLA 2020 ; Conference date: 29-01-2020 Through 01-02-2020",

}

TY - CONF

T1 - Mesurer la hauteur d’un arbre

AU - Filliâtre, Jean Christophe

PY - 2020/1/1

Y1 - 2020/1/1

UR - https://www.scopus.com/pages/publications/85184329909

M3 - Papier

AN - SCOPUS:85184329909

SP - 160

EP - 167

T2 - 31eme Journees Francophones des Langages Applicatifs, JFLA 2020 - 31st French-Speaking Conference on Applicative Languages, JFLA 2020

Y2 - 29 January 2020 through 1 February 2020

ER -

Mesurer la hauteur d’un arbre

Conference

Other files and links

Cite this