2000-other.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -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"' /home/marche/biblio/abbrevs.bib /home/marche/biblio/demons.bib /home/marche/biblio/demons2.bib /home/marche/biblio/demons3.bib /home/marche/biblio/team.bib /home/marche/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 }
}