Révision 210
| CSL17/ph-biblio.bib (revision 210) | ||
|---|---|---|
| 425 | 425 |
journal = {Inf. Comput.},
|
| 426 | 426 |
volume = {241},
|
| 427 | 427 |
pages = {3--31},
|
| 428 |
year = {2015},
|
|
| 429 |
url = {http://dx.doi.org/10.1016/j.ic.2014.10.005},
|
|
| 430 |
doi = {10.1016/j.ic.2014.10.005},
|
|
| 431 |
timestamp = {Sat, 25 Apr 2015 11:14:59 +0200},
|
|
| 432 |
biburl = {http://dblp.uni-trier.de/rec/bib/journals/iandc/Baillot15},
|
|
| 433 |
bibsource = {dblp computer science bibliography, http://dblp.org}
|
|
| 434 |
} |
|
| 428 |
year = {2015}
|
|
| 429 |
} |
|
| 435 | 430 |
|
| 436 | 431 |
@inproceedings{BaiDas16,
|
| 437 | 432 |
author = {Patrick Baillot and
|
| ... | ... | |
| 481 | 476 |
volume = {185},
|
| 482 | 477 |
number = {2},
|
| 483 | 478 |
pages = {263--297},
|
| 484 |
year = {2003},
|
|
| 485 |
url = {http://dx.doi.org/10.1016/S0890-5401(03)00086-5},
|
|
| 486 |
doi = {10.1016/S0890-5401(03)00086-5},
|
|
| 487 |
timestamp = {Thu, 20 Nov 2003 12:03:25 +0100},
|
|
| 488 |
biburl = {http://dblp.uni-trier.de/rec/bib/journals/iandc/Strahm03},
|
|
| 489 |
bibsource = {dblp computer science bibliography, http://dblp.org}
|
|
| 490 |
} |
|
| 479 |
year = {2003}
|
|
| 480 |
} |
|
| 491 | 481 |
@article{Zambella96,
|
| 492 | 482 |
author = {Domenico Zambella},
|
| 493 | 483 |
title = {Notes on Polynomially Bounded Arithmetic},
|
| ... | ... | |
| 513 | 503 |
volume = {164},
|
| 514 | 504 |
number = {6},
|
| 515 | 505 |
pages = {663--675},
|
| 516 |
year = {2013},
|
|
| 517 |
url = {http://dx.doi.org/10.1016/j.apal.2012.05.006},
|
|
| 518 |
doi = {10.1016/j.apal.2012.05.006},
|
|
| 519 |
timestamp = {Sat, 20 Apr 2013 19:07:47 +0200},
|
|
| 520 |
biburl = {http://dblp.uni-trier.de/rec/bib/journals/apal/KahleO13},
|
|
| 521 |
bibsource = {dblp computer science bibliography, http://dblp.org}
|
|
| 522 |
} |
|
| 506 |
year = {2013}
|
|
| 507 |
} |
|
| 523 | 508 |
|
| 524 | 509 |
|
| 525 | 510 |
@article{Buss:95:wfm-arith,
|
Formats disponibles : Unified diff