Révision 260 CSL17/tech-report/ph-biblio.bib
| ph-biblio.bib (revision 260) | ||
|---|---|---|
| 5 | 5 |
note={\url{http://www.anupamdas.com/fph-unbounded-arithmetic.pdf}}
|
| 6 | 6 |
} |
| 7 | 7 |
|
| 8 |
@incollection{bellantoni1995fph,
|
|
| 9 |
title={Predicative recursion and the polytime hierarchy},
|
|
| 10 |
author={Bellantoni, Stephen},
|
|
| 11 |
booktitle={Feasible Mathematics II},
|
|
| 12 |
pages={15--29},
|
|
| 13 |
year={1995},
|
|
| 14 |
publisher={Springer}
|
|
| 15 |
} |
|
| 16 | 8 |
|
| 17 |
|
|
| 18 | 9 |
@inproceedings{Lasson11,
|
| 19 | 10 |
author = {Marc Lasson},
|
| 20 | 11 |
title = {Controlling Program Extraction in Light Logics},
|
Formats disponibles : Unified diff