Precise Bounds for Presburger Arithmetic and the Reals with Addition: Preliminary Report

Leonard Berman

Browse the full FOCS paper archive.