Révision 138 CharacterizingPH/biblio.bib
| biblio.bib (revision 138) | ||
|---|---|---|
| 419 | 419 |
} |
| 420 | 420 |
|
| 421 | 421 |
|
| 422 |
@article{KahOit:13:ph-levels,
|
|
| 423 |
author = {Reinhard Kahle and
|
|
| 424 |
Isabel Oitavem}, |
|
| 425 |
title = {Applicative theories for the polynomial hierarchy of time and its
|
|
| 426 |
levels}, |
|
| 427 |
journal = {Ann. Pure Appl. Logic},
|
|
| 428 |
volume = {164},
|
|
| 429 |
number = {6},
|
|
| 430 |
pages = {663--675},
|
|
| 431 |
year = {2013},
|
|
| 432 |
url = {http://dx.doi.org/10.1016/j.apal.2012.05.006},
|
|
| 433 |
doi = {10.1016/j.apal.2012.05.006},
|
|
| 434 |
timestamp = {Sat, 20 Apr 2013 19:07:47 +0200},
|
|
| 435 |
biburl = {http://dblp.uni-trier.de/rec/bib/journals/apal/KahleO13},
|
|
| 436 |
bibsource = {dblp computer science bibliography, http://dblp.org}
|
|
| 437 |
} |
|
| 422 | 438 |
|
| 423 | 439 |
|
| 424 | 440 |
|
| ... | ... | |
| 429 | 445 |
|
| 430 | 446 |
|
| 431 | 447 |
|
| 432 |
|
|
Formats disponibles : Unified diff