Révision 254 CSL17/tech-report/main.tex
| main.tex (revision 254) | ||
|---|---|---|
| 1 |
\documentclass[a4paper]{amsart}
|
|
| 1 |
\documentclass[a4paper]{article}
|
|
| 2 | 2 |
|
| 3 | 3 |
\usepackage{amsmath}
|
| 4 | 4 |
\usepackage{amsthm}
|
| ... | ... | |
| 14 | 14 |
\usepackage[lutzsyntax]{virginialake}
|
| 15 | 15 |
\input{ph-macros}
|
| 16 | 16 |
|
| 17 |
\begin{document}
|
|
| 17 | 18 |
|
| 18 |
\title[Polynomial hierarchy in an unbounded arithmetic]{An implicit characterisation of the polynomial hierarchy in an unbounded arithmetic}
|
|
| 19 |
\title{An implicit characterisation of the polynomial hierarchy in an unbounded arithmetic}
|
|
| 19 | 20 |
|
| 20 | 21 |
\author{Patrick Baillot}
|
| 21 | 22 |
\author{Anupam Das}
|
| 22 | 23 |
|
| 23 | 24 |
|
| 24 |
\begin{document}
|
|
| 25 | 25 |
|
| 26 |
|
|
| 26 | 27 |
\maketitle |
| 27 | 28 |
|
| 28 | 29 |
\begin{abstract}
|
| ... | ... | |
| 64 | 65 |
|
| 65 | 66 |
\newpage |
| 66 | 67 |
\appendix |
| 67 |
\input{appendix-arithmetic}
|
|
| 68 |
|
|
| 68 | 69 |
%%\input{pv-theories}
|
| 69 |
%\input{appendix-sequent-calculus}
|
|
| 70 |
%\input{appendix-soundness}
|
|
| 70 |
\input{appendix-sequent-calculus}
|
|
| 71 |
|
|
| 71 | 72 |
\input{appendix-completeness}
|
| 72 | 73 |
|
| 73 | 74 |
\end{document}
|
Formats disponibles : Unified diff