Révision 137 CharacterizingPH/biblio.bib
| biblio.bib (revision 137) | ||
|---|---|---|
| 393 | 393 |
} |
| 394 | 394 |
|
| 395 | 395 |
|
| 396 |
@incollection{CloTak:1995:nc-ac,
|
|
| 397 |
title={First order bounded arithmetic and small boolean circuit complexity classes},
|
|
| 398 |
author={Clote, Peter and Takeuti, Gaisi},
|
|
| 399 |
booktitle={Feasible Mathematics II},
|
|
| 400 |
pages={154--218},
|
|
| 401 |
year={1995},
|
|
| 402 |
publisher={Springer}
|
|
| 403 |
} |
|
| 396 | 404 |
|
| 397 | 405 |
|
| 406 |
@article{Zambella96,
|
|
| 407 |
author = {Domenico Zambella},
|
|
| 408 |
title = {Notes on Polynomially Bounded Arithmetic},
|
|
| 409 |
journal = {J. Symb. Log.},
|
|
| 410 |
volume = {61},
|
|
| 411 |
number = {3},
|
|
| 412 |
pages = {942--966},
|
|
| 413 |
year = {1996},
|
|
| 414 |
url = {http://dx.doi.org/10.2307/2275794},
|
|
| 415 |
doi = {10.2307/2275794},
|
|
| 416 |
timestamp = {Tue, 05 Aug 2014 16:36:22 +0200},
|
|
| 417 |
biburl = {http://dblp.uni-trier.de/rec/bib/journals/jsyml/Zambella96},
|
|
| 418 |
bibsource = {dblp computer science bibliography, http://dblp.org}
|
|
| 419 |
} |
|
| 398 | 420 |
|
| 399 | 421 |
|
| 400 | 422 |
|
| ... | ... | |
| 408 | 430 |
|
| 409 | 431 |
|
| 410 | 432 |
|
| 411 |
|
|
Formats disponibles : Unified diff