@article{615eda812b514ce89281a58f7348276c,
title = "Applicative theories for the polynomial hierarchy of time and its levels",
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.",
keywords = "Induction schemes, Levels of the polynomial hierarchy, Polynomial hierarchy, Computational complexity, Applicative theories",
author = "Reinhard Kahle and Kahle, {Isabel Maria Oitavem Fonseca da Rocha}",
note = "Sem PDF conforme despacho",
year = "2013",
month = jan,
day = "1",
doi = "10.1016/j.apal.2012.05.006",
language = "Unknown",
volume = "164",
pages = "663--675",
journal = "Annals Of Pure And Applied Logic",
issn = "0168-0072",
publisher = "Elsevier Science B.V., Amsterdam.",
number = "SI6",
}