3 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Centre National de la Recherche ScientifiqueFR2 papers
- Institut de Recherche en Informatique FondamentaleFR2 papers
- Institut national de recherche en sciences et technologies du numériqueFR2 papers
- Université Paris CitéFR2 papers
- École PolytechniqueFR1 paper
- Laboratoire des Sciences de l'Ingénieur, de l'Informatique et de l'ImagerieFR1 paper
- Laboratoire d'Informatique de l'École PolytechniqueFR1 paper
- PARTOUT: Automatisation et ReprésenTation: fOndation du calcUl et de la déducTionFR1 paper
- Sorbonne Paris CitéFR1 paper
Showing math.CTShow all
1 paper · 1 filter