An applicative theory for FPH
arXiv:1101.5444 · doi:10.4204/EPTCS.47.6
Abstract
In this paper we introduce an applicative theory which characterizes the polynomial hierarchy of time.
In Proceedings CL&C 2010, arXiv:1101.5200
arXiv:1101.5444 · doi:10.4204/EPTCS.47.6
In this paper we introduce an applicative theory which characterizes the polynomial hierarchy of time.
In Proceedings CL&C 2010, arXiv:1101.5200