Révision 264
| CSL17/tech-report/main.tex (revision 264) | ||
|---|---|---|
| 19 | 19 |
|
| 20 | 20 |
\title{An implicit characterisation of the polynomial hierarchy in an unbounded arithmetic}
|
| 21 | 21 |
|
| 22 |
\author{Patrick Baillot}
|
|
| 23 |
\author{Anupam Das}
|
|
| 22 |
\author{Patrick Baillot \qquad Anupam Das}
|
|
| 23 |
%\author{Anupam Das}
|
|
| 24 | 24 |
|
| 25 | 25 |
|
| 26 | 26 |
|
Formats disponibles : Unified diff