Electronic Proceedings in Theoretical Computer Science (Jan 2011)
An applicative theory for FPH
Abstract
In this paper we introduce an applicative theory which characterizes the polynomial hierarchy of time.
WeChat QR code
Electronic Proceedings in Theoretical Computer Science (Jan 2011)
In this paper we introduce an applicative theory which characterizes the polynomial hierarchy of time.