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

Thierry Marianne

University of La Reunion

1H-index
45Paper Count
4Citation Count
Published Papers 1
Publication Date
logo
Automated Certification of Logic Program Groundness Analysis
errLOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2025
IF0
err2026-01-01
err0
PREAI
errMarianne, Thierry; Mesnard, Fred; Payet, Etienne
errShare
errSave

Research Directions

The data has not been retrieved yet.
Co-authors
Cooperation Journals
É
Étienne Payet
H-index: 11 · Papers: 66
M
Mesnard, Fred
H-index: 0 · Papers: 1
All loaded