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

From MaRDI portal
Publication:3590929