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}
}