Scholar
Laurentiu Leustean
Google Scholar ID: ZjuOO-gAAAAJ
University of Bucharest & IMAR & Institute for Logic and Data Science
Mathematical logic
Proof theory
Optimization
Ergodic theory
Nonlinear analysis
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
933
H-index
17
i10-index
25
Publications
20
Co-authors
0
Publications
2 items
Matching logic -- proof system $mathcal{G}^c$
2025
Cited
0
Notes on applicative matching logic
2025
Cited
0
