Scholar

Pavel Pudlák

Google Scholar ID: -YhS1D4AAAAJ

researcher, Institute of Mathematics, CAS

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

Professor of Mathematics and Computer Science

Computer Science Institute of Charles University

Professor of Computer Science and Engineering, University of Washington

Researcher, Institute of Mathematics, Czech Academy of Sciences

Professor of Computer Science, Rutgers University