Pavel Hrubeš

•  

• Conferences

• 	Select
  Year:	recent all 2019201820172016201520142013201220112010200920082007200620052004200320022001200019991998199719961995199419931992199119901989198819871986

•  
•  

• Recent 5 :   

• • Hrubeš Pavel
  • The interpolation technique in proof complexity.
  • 25th International Conference on Computer Aided Verification
  • Petersburg, Russia (July 2013)

  x

  Associated with grants:
  

• • Hrubeš Pavel
  • Proof complexity after NP ≠ coNP.
  • Winter meeting of Association for Symbolic Logic
  • San Diego, USA (January 2008)

  x

  Associated with grants:
  

•  
   
   
   
   
   
   
   
   
   
   
   
   
   
  
•  

• Home

• Research

• Lectures

  • conferences

• Useful links

•  

• CV

• Publications

• all types

• articles

• proceedings

• preprints IM

•  

IM AS CR P. Hrubeš MLTCS

last update: 05/12/2014