Applicative theories for the polynomial hierarchy of time and its levels

Research output: Contribution to journalArticlepeer-review

2 Citations (Scopus)

Abstract

In this paper we introduce applicative theories which characterize the polynomial hierarchy of time and its levels. These theories are based on a characterization of the functions in the polynomial hierarchy using monotonicity constraints, introduced by Ben-Amram, Loff, and Oitavem.
Original languageUnknown
Pages (from-to)663-675
JournalAnnals Of Pure And Applied Logic
Volume164
Issue numberSI6
DOIs
Publication statusPublished - 1 Jan 2013

Cite this