Scholar
Florian Rabe
Google Scholar ID: L6o_hKAAAAAJ
University Erlangen-Nuremberg
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,998
H-index
24
i10-index
63
Publications
20
Co-authors
0
Publications
4 items
Polymorphism Meets DHOL
2026
Cited
0
Subtyping in DHOL -- Extended preprint
2025
Cited
0
The Dependently Typed Higher-Order Form for the TPTP World
2025
Cited
0
Formalizing Representation Theorems for a Logical Framework with Rewriting
2025
Cited
0
