Scholar
Manfred Schmidt-Schauß
Google Scholar ID: gKk8nIYAAAAJ
Professor für Informatik, Goethe-University Frankfurt
automated deduction
correctness of programs
contextual equality
term compression
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
657
H-index
9
i10-index
9
Publications
20
Co-authors
0
