Applicative theories for the polynomial hierarchy of time and its levels

Reinhard Kahle, Isabel Oitavem , Isabel Oitavem,

Journal	Annals of Pure and Applied Logic
Publisher	Universitat Politècnica de Catalunya
Volume	164
Journal	Annals of Pure and Applied Logic
Publisher	Universitat Politècnica de Catalunya
Volume	164

Publication