research

An applicative theory for FPH

Abstract

In this paper we introduce an applicative theory which characterizes the polynomial hierarchy of time.Comment: In Proceedings CL&C 2010, arXiv:1101.520

    Similar works

    Full text

    thumbnail-image