Lutz Straßburger
Scholar

Lutz Straßburger

Google Scholar ID: xSTwY3MAAAAJ
Inria
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,136
 
H-index
27
 
i10-index
60
 
Publications
20
 
Co-authors
25
list available
Publications
4 items
A decision procedure for intuitionistic modal logic IS4 (and IK4)
2026
Cited
0
Interpolation via Generalized Splitting
2026
Cited
0
Proof Identity and Categorical Models of BV
2026
Cited
0
Intuitionistic BV (Extended version)
2025
Cited
0
Co-authors
13 total
Alessio Guglielmi
Alessio Guglielmi
University of Bath
Matteo Acclavio
Matteo Acclavio
University of Sussex
Sonia Marin
Sonia Marin
Lecturer, University of Birmingham
Roman Kuznets
Roman Kuznets
Institute of Computer Science of the Czech Academy of Sciences
Willem Heijltjes
Willem Heijltjes
University of Bath
Kaustuv Chaudhuri
Kaustuv Chaudhuri
INRIA
Anupam Das
Anupam Das
University of Birmingham
Marianna Girlando
Marianna Girlando
ILLC, University of Amsterdam