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
Contact
No contact links provided.
Publications
1 items
Quantified propositional calculi and narrow implicit proofs
2026
Cited
0
Resume (English only)
Co-authors
9 total
Co-author 1
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
Co-author 7
Co-author 8
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up