Wyniki wyszukiwania dla: Pavel Pudlák
computational complexity > 2019 > 28 > 2 > 185-239
Information Processing Letters > 2018 > 131 > C > 15-19
Mathematical Logic Quarterly > 63 > 6 > 501 - 508
Theory of Computing Systems > 2017 > 60 > 3 > 378-395
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2001 > Contributed Talks > 621-632
Lecture Notes in Computer Science > Computer Science – Theory and Applications > Invited Papers > 13-27