Scholar
Pavel Pudlák
Google Scholar ID: -YhS1D4AAAAJ
researcher, Institute of Mathematics, CAS
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
9,812
H-index
50
i10-index
121
Publications
20
Co-authors
9
list available
Publications
1 items
Quantified propositional calculi and narrow implicit proofs
2026
Cited
0
Co-authors
6 total
Sam Buss
Professor of Mathematics and Computer Science
Jiri Sgall
Computer Science Institute of Charles University
Paul Beame
Professor of Computer Science and Engineering, University of Washington
Neil Thapen
Researcher, Institute of Mathematics, Czech Academy of Sciences
Mario Szegedy
Professor of Computer Science, Rutgers University
Johan Håstad
Professor i teoretisk datalogi, KTH
