1996-report.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 1996-report.cite -ob 1996-report.bib -c 'year = 1996 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}}

@techreport{jouannaud96,
  author = {Jean-Pierre Jouannaud and Mitsuhiro Okada},
  title = {Inductive data type systems},
  institution = {Laboratoire de Recherche en Informatique},
  year = 1996,
  note = {submitted},
  type_publi = {interne},
  topics = {team}
}

@techreport{treinen96b,
  author = {Ralf Treinen},
  title = {The First-Order Theory of Linear One-Step Rewriting is
                        Undecidable},
  topics = {team, lri, cclserver, constraints, rewriting},
  year = 1996,
  month = nov,
  type = {Rapport de Recherche},
  number = {1080},
  institution = {Laboratoire de Recherche en Informatique, Universit{\'e} de
                        Paris-Sud},
  address = {F91405 Orsay cedex, France},
  ftp = {ftp://ftp.lri.fr/LRI/articles/treinen/rta96-rep.ps.gz},
  abstract = {ftp://ftp.lri.fr/LRI/articles/treinen/rta96-rep.abstract},
  type_publi = {interne},
  clef_labo = {1080}
}

@mastersthesis{rabehasaina96,
  author = {Landy Rabehasaina},
  title = {Syst{\`e}mes de r{\'e}{\'e}criture pour l'arithm{\'e}tique},
  school = {Universit{\'e} Paris-sud},
  year = 1996,
  type = {Rapport de stage de Magist{\`e}re},
  x-pdf = {http://www.lri.fr/~marche/articles/rabehasaina.ps.gz},
  abstract = {http://www.lri.fr/~marche/rabehasaina.html},
  type_publi = {?},
  topics = {team},
  location = {CM}
}

@mastersthesis{urbain96,
  author = {Xavier Urbain},
  title = {Interpr{\'e}tations polynomiales et applications aux
  $\lambda$-calculs avec substitutions explicites},
  school = {Universit{\'e} Paris-sud},
  year = 1996,
  type = {Rapport de stage de Ma{\^\i}trise},
  x-pdf = {http://www.lri.fr/~marche/articles/urbain.ps.gz},
  abstract = {http://www.lri.fr/~marche/urbain.html},
  type_publi = {?},
  topics = {team},
  location = {CM}
}