• DML-CZ Home
• Commentationes Mathematicae Universitatis Carolinae

Author: Pudlák, Pavel

• Gavinsky, Dmitry; Pudlák, Pavel: On the joint entropy of $d$-wise-independent variables. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 57 (2016), issue 3, pp. 333-343
• Pudlák, Pavel; Vavřín, Zdeněk: Computation of rigidity of order $\frac{n^2}r$ for one simple matrix. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 32 (1991), issue 2, pp. 213-218
• Pudlák, Pavel: On a unification problem related to Kreisel's conjecture. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 29 (1988), issue 3, pp. 551-556
• Pudlák, Pavel: A definition of exponentiation by a bounded arithmetical formula. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 24 (1983), issue 4, pp. 667-671
• Poljak, Svatopluk; Turzík, Daniel; Pudlák, Pavel: Extensions of $k$-subsets to $k+1$-subsets - existence versus constructability. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 23 (1982), issue 2, pp. 337-349
• Pudlák, Pavel: Symmetric embedding of finite lattices into finite partition lattices. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 20 (1979), issue 1, pp. 183-187
• Pudlák, Pavel; Tůma, Jiří: Every finite lattice can be embedded in the lattice of all equivalences over a finite set (Preliminary communication). (English). Commentationes Mathematicae Universitatis Carolinae, vol. 18 (1977), issue 2, pp. 409-414
• Pudlák, Pavel: The observational predicate calculus and complexity of computations (Preliminary communication). (English). Commentationes Mathematicae Universitatis Carolinae, vol. 16 (1975), issue 2, pp. 395-398