Révision 163 CSL17/ph-biblio.bib
ph-biblio.bib (revision 163) | ||
---|---|---|
48 | 48 |
pages = {97--110}, |
49 | 49 |
year = {1992} |
50 | 50 |
} |
51 |
|
|
52 |
@inproceedings{Bellantoni95, |
|
53 |
author = {Stephen Bellantoni}, |
|
54 |
title = {Predicative Recursion and The Polytime Hierarchy}, |
|
55 |
booktitle = {Feasible Mathematics II}, |
|
56 |
pages = {15-29}, |
|
57 |
series = {Progress in Computer Science and Applied Logic}, |
|
58 |
volume = {13}, |
|
59 |
editors ={Clote P., Remmel J.B.}, |
|
60 |
publisher = {Birkhauser Boston}, |
|
61 |
year = {1995} |
|
62 |
} |
|
51 | 63 |
|
64 |
|
|
52 | 65 |
@inproceedings{Cobham, |
53 | 66 |
author = {Cobham, A.}, |
54 | 67 |
title = {On the intrinsic computational difficulty of functions}, |
Formats disponibles : Unified diff