Toda's theorem in bounded arithmetic with parity quantifiers and bounded depth proof systems with parity gates
To upload material, you must first log in.
To upload material, you must first log in.