root / CSL17 / preliminaries.tex @ 154
Historique | Voir | Annoter | Télécharger (321 octet)
| 1 |
|
|---|---|
| 2 |
\section{Preliminaries}
|
| 3 |
We introduce the polynomial hierarchy and its basic properties, then the Bellantoni characterisation. |
| 4 |
|
| 5 |
\subsection{Polynomial hierarchy}
|
| 6 |
(include closure properties) |
| 7 |
|
| 8 |
\subsection{Bellantoni's characterisation using predicative minimisation}
|
| 9 |
(perhaps compare with Cobham's using limited recursion) |