Petr Pudlák
According to our database1,
Petr Pudlák
authored at least 5 papers
between 1997 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
0
1
2
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
Finite Fields Their Appl., 2021
2009
2008
Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008
2007
Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, 2007
1997
On the Amount of Randomness Needed in Distributed Computations.
Proceedings of the On Principles Of Distributed Systems, 1997