Révision 112
added submitted version copy
Fichiers
- ajouté
- modifié
- copié
- renommé
- supprimé
- CSL16
- submitted
- appendix-arithmetic.tex
- appendix-bc-convergence.tex
- appendix-bc.tex
- appendix-free-cut-elim.tex
- appendix-preliminaries.tex
- appendix-wfm.tex
- appendix.tex
- arithmetic.tex
- bc-convergence.tex
- bc.tex
- biblio.bib
- cc-by.pdf
- conclusions.tex
- free-cut-elim.tex
- further-work.tex
- introduction.tex
- lipics-logo-bw.pdf
- lipics-v2016.cls
- macros.tex
- main.tex
- preliminaries.tex
- virginialake.sty
- wfm.tex
- submitted