dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Pavel Pudlák (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRussell Impagliazzo, Pavel Pudlák, Jiri Sgall: Lower Bounds for the Polynomial Calculus and the Gröbner Basis Algorithm. Computational Complexity 8(2): 127-144 (1999)
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamuel R. Buss, Russell Impagliazzo, Jan Krajícek, Pavel Pudlák, Alexander A. Razborov, Jiri Sgall: Proof Complexity in Algebraic Systems and Bounded Depth Frege Systems with Modular Counting. Computational Complexity 6(3): 256-298 (1997)
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRussell Impagliazzo, Pavel Pudlák, Jiri Sgall: Lower Bounds for the Polynomial Calculus and the Groebner Basis Algorithm Electronic Colloquium on Computational Complexity (ECCC) 4(42): (1997)
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPavel Pudlák, Vojtech Rödl, Jiri Sgall: Boolean Circuits, Tensor Ranks, and Communication Complexity. SIAM J. Comput. 26(3): 605-633 (1997)
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPavel Pudlák, Jiri Sgall: An Upper Bound for a Communication Game Related to Time-Space Tradeoffs Electronic Colloquium on Computational Complexity (ECCC) 2(10): (1995)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Krajícek, Pavel Pudlák, Jiri Sgall: Interactive Computations of Optimal Solutions. MFCS 1990: 48-60

Selection of 6 from 105 records - Pavel Pudlák has 51 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page