2002-report.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 2002-report.cite -ob 2002-report.bib -c 'year = 2002 and topics : "team" and ($type="techreport" or $type="manual" or $type="mastersthesis")' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@mastersthesis{Creci02,
  author = {J{\'e}r{\^o}me Creci},
  title = {Certification d'algorithmes d'arithm{\'e}tique r{\'e}elle exacte dans le syst{\`e}me {C}oq},
  school = {Universit{\'e} Paris-Sud},
  year = 2002,
  address = {Orsay, France},
  type = {Rapport de {DEA}},
  month = sep,
  topics = {team}
}

@techreport{Coq02,
  author = {{The Coq development team}},
  title = {The Coq Proof Assistant Reference Manual V7.2},
  institution = {INRIA, France},
  number = 255,
  month = mar,
  type_publi = {manuel},
  topics = {team},
  url = {http://www.inria.fr/rrrt/rt-0255.html},
  year = 2002
}

@manual{CoqManualV7,
  author = {{The {Coq} Development Team}},
  title = {{The Coq Proof Assistant Reference Manual -- Version V7.3}},
  year = 2002,
  month = may,
  type_publi = {manuel},
  topics = {team},
  url = {http://coq.inria.fr},
  note = {\url{http://coq.inria.fr}}
}

@techreport{kmu2002rr,
  author = {Keiichirou Kusakari and Claude March\'e and Xavier Urbain},
  title = {Termination of Associative-Commutative Rewriting using Dependency Pairs Criteria},
  institution = {LRI},
  year = 2002,
  type = {Research Report},
  number = 1304,
  type_publi = {interne},
  topics = {team},
  note = {\url{http://www.lri.fr/~urbain/textes/rr1304.ps.gz}},
  url = {http://www.lri.fr/~urbain/textes/rr1304.ps.gz}
}

@mastersthesis{kremer02dea,
  author = {Antoine Kremer},
  title = {Sp\'ecification et v\'erification de syst\`emes
                  temporis\'es r\'eactifs en logique lin\'eaire},
  school = {Universit{\'e} Paris-Sud},
  year = 2002,
  type = {Rapport de {DEA}},
  type_publi = {autre},
  topics = {team}
}

@techreport{For02a,
  author = {Julien Forest},
  title = {A Weak Calculus with Explicit Operators for Pattern Matching and Substitution},
  institution = {LRI},
  year = {2002},
  key = {For02a},
  type = {Research Report},
  number = {1313},
  month = {May},
  topics = {rewriting, team},
  type_publi = {interne},
  x-pdf = {http://www.pps.jussieu.fr/~forest/papers/lpw.pdf},
  url = {http://www.pps.jussieu.fr/~forest/papers/lpw.pdf}
}

@mastersthesis{Oury02,
  author = {Nicolas Oury},
  title = {\'Equivalence vis-\`a-vis de l'observation et extraction de programmes},
  school = {Universit{\'e} Paris-Sud},
  year = 2002,
  address = {Orsay, France},
  type = {Rapport de {DEA}},
  month = sep,
  topics = {team},
  type_publi = {interne},
  ftp = {http://www.ens-lyon.fr/~noury/stage2002/rapportNicolasOury.ps.gz}
}

@mastersthesis{signoles02dea,
  author = {Julien Signoles},
  title = {{Calcul statique des applications de foncteurs en
                pr{\'e}sence d'effets de bord}},
  type = {Rapport de {DEA}},
  year = 2002,
  month = sep,
  school = {Universit{\'e} Paris-Sud},
  topics = {team, lri},
  note = {In French}
}

@techreport{urbain2002rr,
  author = {Xavier Urbain},
  title = {Modular {\&} Incremental Proofs of {AC}-Termination},
  institution = {LRI},
  year = {2002},
  type = {Research Report},
  number = {1317},
  type_publi = {interne},
  topics = {team},
  url = {http://www.lri.fr/~urbain/textes/rr1317.ps.gz}
}

@techreport{urbain2002rr2,
  author = {Xavier Urbain},
  title = {Modular {\&} Incremental Automated Termination Proofs},
  institution = {LRI},
  year = {2002},
  type = {Research Report},
  number = {1326},
  type_publi = {interne},
  topics = {team},
  url = {http://www.lri.fr/~urbain/textes/rr1326.ps.gz}
}