logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
J

Jean-Christophe Filliâtre

centre national de la recherche scientifique (cnrs)

23H-index
127Paper Count
3.3KCitation Count
Published Papers 1
Publication Date
logo
When Separation Arithmetic is Enough
errINTEGRATED FORMAL METHODS, IFM 2025
IF0
err2026-01-01
err0
PREAI
errFilliatre, Jean-Christophe; Paskevich, Andrei; Danvy, Olivier
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
O
Olivier Danvy
H-index: 40 · Papers: 309
A
Andrei Paskevich
H-index: 14 · Papers: 67
All loaded