YEAR_2005.bib

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

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

@inproceedings{BartheGP05,
  author = {Gilles Barthe and
               Benjamin Gr{\'e}goire and
               Fernando Pastawski},
  title = {Practical Inference for Type-Based Termination in a Polymorphic
               Setting},
  booktitle = {Typed Lambda Calculi and Applications, 7th International
               Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings},
  year = {2005},
  pages = {71-85},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {3461},
  topic = {TYPETHEORY}
}

@inproceedings{GregM05,
  author = {Benjamin Gr{\'e}goire and
               Assia Mahboubi},
  title = {Proving Equalities in a Commutative Ring Done Right in Coq},
  booktitle = {Theorem Proving in Higher Order Logics, 18th International
               Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005,
               Proceedings},
  year = {2005},
  pages = {98-113},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {3603},
  topic = {COQAPPLI}
}

@inproceedings{BarrasG05,
  author = {Bruno Barras and
               Benjamin Gr{\'e}goire},
  title = {On the Role of Type Decorations in the Calculus of Inductive
               Constructions},
  booktitle = {Computer Science Logic, 19th International Workshop, CSL
               2005, 14th Annual Conference of the EACSL, Oxford, UK, August
               22-25, 2005, Proceedings},
  year = {2005},
  pages = {151-166},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {3634},
  topic = {TYPETHEORY}
}

This file was generated by bibtex2html 1.97.