•  
    • Preprints

       
      Select  
      Year: Investigators  
       

      Recent 5

    IM-2017-6   
    Registered: 25.1.2017
    Beckmann Arnold, Buss Sam, Friedman Sy-David, Müller Moritz, Thapen Neil Dillip
    Cobham Recursive Set Functions and Weak Set Theories

    IM-2017-1   
    Registered: 2.1.2017
    Jeřábek Emil
    Galois connection for multiple-output operations

    IM-2016-51    Published  
    Registered: 24.9.2016
    Jeřábek Emil
    Division by zero

    IM-2016-50    Published  
    Registered: 18.9.2016
    Jeřábek Emil
    Proof complexity of intuitionistic implicational formulas

    IM-2016-40   
    Registered: 5.8.2016
    Pudlák Pavel, Thapen Neil Dillip
    Random resolution refutations

  •