Révision 203 CSL16/final-version/biblio.bib
| biblio.bib (revision 203) | ||
|---|---|---|
| 91 | 91 |
year = {2000}
|
| 92 | 92 |
} |
| 93 | 93 |
|
| 94 |
@article{KahleOitavem13,
|
|
| 95 |
author = {Reinhard Kahle and
|
|
| 96 |
Isabel Oitavem}, |
|
| 97 |
title = {Applicative theories for the polynomial hierarchy of time and its
|
|
| 98 |
levels}, |
|
| 99 |
journal = {Ann. Pure Appl. Logic},
|
|
| 100 |
volume = {164},
|
|
| 101 |
number = {6},
|
|
| 102 |
pages = {663--675},
|
|
| 103 |
year = {2013},
|
|
| 104 |
url = {http://dx.doi.org/10.1016/j.apal.2012.05.006},
|
|
| 105 |
doi = {10.1016/j.apal.2012.05.006},
|
|
| 106 |
timestamp = {Sat, 20 Apr 2013 19:07:47 +0200},
|
|
| 107 |
biburl = {http://dblp.uni-trier.de/rec/bib/journals/apal/KahleO13},
|
|
| 108 |
bibsource = {dblp computer science bibliography, http://dblp.org}
|
|
| 109 |
|
|
| 94 | 110 |
@article{Terui04,
|
| 95 | 111 |
author = {Kazushige Terui},
|
| 96 | 112 |
title = {Light Affine Set Theory: {A} Naive Set Theory of Polynomial Time},
|
Formats disponibles : Unified diff