2000-other.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 2000-other.cite -ob 2000-other.bib -c 'year = 2000 and topics : "team" and $type<>"article" and $type<>"inproceedings" and $type<>"book" and $type<>"inbook" and $type<>"incollection" and $type<>"phdthesis" and $type<>"techreport" and $type<>"manual" and $type<>"mastersthesis"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@misc{cime2,
  author = {Evelyne Contejean and Claude March{\'e} and
                  Benjamin Monate and Xavier Urbain},
  title = {{CiME version 2}},
  note = {Available at
                  \url{http://cime.lri.fr/}},
  year = 2000,
  url = {http://cime.lri.fr/},
  topics = {team,lri}
}

@misc{letouzey2000dea,
  title = {{Ex{\'e}cution de termes de preuves: une nouvelle
                   m{\'e}thode d'extraction pour le Calcul des Constructions
                   Inductives}},
  author = {Pierre Letouzey},
  type = {Rapport de DEA},
  year = 2000,
  howpublished = {Universit{\'e} Paris VI},
  topics = {team, lri},
  type_publi = {interne},
  url = {http://www.lri.fr/~letouzey/download/rapport_dea.ps.gz }
}