YEAR_2010.bib

@comment{{This file has been generated by bib2bib 1.97}}

@comment{{Command line: bib2bib --expand-xrefs -oc Publi/YEAR_2010.cite -ob Publi/YEAR_2010.bib -c year=2010 -c !topic="NOCITE" Publi/bibdata.bib}}

@inproceedings{DBLP:conf/lpar/GregoireS10,
  author = {Benjamin Gr{\'e}goire and
               Jorge Luis Sacchini},
  title = {On Strong Normalization of the Calculus of Constructions
               with Type-Based Termination},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning
               - 17th International Conference, LPAR-17, Yogyakarta, Indonesia,
               October 10-15, 2010. Proceedings},
  year = {2010},
  pages = {333-347},
  publisher = {Springer},
  ee = {http://dx.doi.org/10.1007/978-3-642-16242-8_24},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  topic = {TYPETHEORY}
}

@inproceedings{AGT10ITP,
  author = {Micha{\"e}l Armand and Benjamin Gr{\'e}goire and Arnaud Spiwack and
               Laurent Th{\'ery}},
  title = {Extending Coq with Imperative Features
               and its Application to SAT Verication},
  booktitle = {Interactive Theorem Proving, international
               Conference, ITP 2010, Edinburgh, Scotland, July 11-14, 2010,
               Proceedings},
  year = {2010},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  topic = {COQAPPLI}
}

@inproceedings{BGZ10ITP,
  author = {Gilles Barthe and Benjamin Gr{\'e}goire and Santiago Zanella},
  title = {Programming language techniques for cryptographic proofs},
  booktitle = {Interactive Theorem Proving, international
               Conference, ITP 2010, Edinburgh, Scotland, July 11-14, 2010,
               Proceedings},
  year = {2010},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  topic = {CRYPTO}
}

@inproceedings{BGHH10CSF,
  author = {Santiago Zanella B{\'e}guelin and Gilles Barthe and Sylvain Heraud and Benjamin Gr{\'e}goire and Daniel Hedin},
  title = {A Machine-Checked Formalization of Sigma-Protocols},
  booktitle = {Computer Security Foundations Symposium, CSF 2010, Edinburgh, Scotland, July 17-19, 2010,
               Proceedings},
  year = {2010},
  publisher = {IEEE},
  topic = {CRYPTO}
}

This file was generated by bibtex2html 1.97.