Alan Skelley

Google Publications

  •   

    The provably total search problems of bounded arithmetic

    Alan Skelley, Neil Thapen

    Proceedings of the London Mathematical Society (2011), pp. 1-33