On Defining Integers in the Counting Hierarchy and Proving Arithmetic Circuit Lower Bounds.

Peter Brgisser

Browse the full STACS paper archive.