Search the dblp DataBase

Publications of Author

1. Pavel Hrubes, Josef Faber, Mirko Novak
   Analysis of EEG signals during micro-sleeps. [Citation Graph (0, 0)][DBLP]
   SMC (4), 2004, pp:3775-3780 [Conf]
   
2. Pavel Hrubes
   A lower bound for intuitionistic logic. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2007, v:146, n:1, pp:72-90 [Journal]
   
3. 
   Relationless Completeness and Separations. [Citation Graph (, )][DBLP]
   
   
4. 
   The Proof Complexity of Polynomial Identities. [Citation Graph (, )][DBLP]
   
   
5. 
   Non-commutative circuits and the sum-of-squares problem. [Citation Graph (, )][DBLP]
   
   
6. 
   Emission load estimation and modeling in relation to the real input traffic data. [Citation Graph (, )][DBLP]
   
   
7. 
   On lengths of proofs in non-classical logics. [Citation Graph (, )][DBLP]
   
   
8. 
   Homogeneous formulas and symmetric polynomials [Citation Graph (, )][DBLP]