72 research outputs found

    Progress towards ignition on the National Ignition Facility

    Full text link

    The minimal e-degree problem in fragments of Peano arithmetic

    Get PDF
    10.1016/j.apal.2004.04.010Annals of Pure and Applied Logic1311-3159-175APAL
    corecore