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

Lutz Straßburger

institut polytechnique de paris

17H-index
86Paper Count
916Citation Count
Published Papers 2
Publication Date
logo
errAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
err2026-01-01
err0
errOAAI
errAcclavio, Matteo; Strassburger, Lutz
errShare
errSave
errPHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES
IF3.7
err2019-01-21
err8
errOAAI
errStrassburger, Lutz
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
M
Matteo Acclavio
H-index: 6 · Papers: 38
All loaded