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

Stephan Merz

universite de lorraine

25H-index
194Paper Count
2.3KCitation Count
Published Papers 1
Publication Date
logo
Checking Linear Integer Arithmetic Proofs in Lambdapi
errFRONTIERS OF COMBINING SYSTEMS, FROCOS 2025
IF0
err2026-01-01
err0
errOAAI
errColtellacci, Alessio; Merz, Stephan
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
A
Alessio Coltellacci
H-index: 0 · Papers: 3
All loaded