Search results for: Pavel Pudlák
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