•  
    • Papers

      Select        
       
      Year: Type Investigators
       

      Recent 5


       Article    
      Jeřábek Emil
      Galois connection for multiple-output operations
      Algebra Universalis 79, 2018.


       Article    
      Hrubeš Pavel, Pudlák Pavel
      A note on monotone real circuits
      Information Processing Letters 131, 2018, 15-19.


       Article    
      Pudlák Pavel
      Incompleteness in the finite domain
      Bulletin of Symbolic Logic 23 (4), 2017, 405-441.


       Article    
      Glivický Petr, Pudlák Pavel
      A wild model of linear arithmetic and discretely ordered modules
      Mathematical Logic Quarterly 63 (6), 2017, 501-508.


       Paper in proceedings    
      Hrubeš Pavel, Pudlák Pavel
      Random formulas, monotone circuits, and interpolation
      in Proceedings of the 58th IEEE Annual Symposium on Foundations of Computer Science (FOCS), Berkeley, USA, 15.10.2017 - 17.10.2017, 2017 IEEE 58TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS), IEEE, New York, 2017, 121-131.

  •