Scholar
Andrej Dudenhefner
Google Scholar ID: etc8wxcAAAAJ
Department of Computer Science, TU Dortmund University, Germany
Type Theory
Computational Logic
Program Synthesis
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
346
H-index
11
i10-index
13
Publications
20
Co-authors
0
Publications
1 items
Mechanized Undecidability of Higher-order beta-Matching (Extended Version)
2026
Cited
0
