Révision 233 CSL17/ph-biblio.bib
| ph-biblio.bib (revision 233) | ||
|---|---|---|
| 1 |
@techreport{BaiDas17:fph-techreport,
|
|
| 2 |
title={An implicit characterisation of the polynomial hierarchy in an unbounded arithmetic},
|
|
| 3 |
author={Patrick Baillot and Anupam Das},
|
|
| 4 |
year={2017},
|
|
| 5 |
note={\url{http://www.anupamdas.com/fph-unbounded-arithmetic.pdf}}
|
|
| 6 |
} |
|
| 7 |
|
|
| 1 | 8 |
@incollection{bellantoni1995fph,
|
| 2 | 9 |
title={Predicative recursion and the polytime hierarchy},
|
| 3 | 10 |
author={Bellantoni, Stephen},
|
Formats disponibles : Unified diff