1995-report.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 1995-report.cite -ob 1995-report.bib -c 'year = 1995 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{jouannaud95a,
  author = {Jean-Pierre Jouannaud and Albert Rubio},
  title = {Lambda Extensions of Rewrite Orderings},
  topics = {rewriting, team},
  institution = {Technical University of Catalonia},
  type = {Research Report},
  number = {LSI-95-50-R},
  year = 1995,
  month = oct,
  type_publi = {rapport}
}

@techreport{jouannaud95b,
  author = {Jean-Pierre Jouannaud and Albert Rubio},
  title = {A Recursive Path Ordering for Higher-Order Terms
			  Compatible with {$\beta\eta$}-Reductions},
  topics = {rewriting, team},
  institution = {Technical University of Catalonia},
  type = {Research Report},
  number = {LSI-95--R},
  year = 1995,
  month = nov,
  type_publi = {rapport},
  location = {biblio-equipe}
}

@techreport{jouannaud95c,
  author = {Jean-Pierre Jouannaud and Albert Rubio},
  title = {A Recursive Path Ordering for Higher-Order Terms in
			  $\beta$-normal $\eta$-expanded Form},
  topics = {rewriting, team},
  institution = {Technical University of Catalonia},
  type = {Research Report},
  number = {LSI-95--R},
  year = 1995,
  month = dec,
  type_publi = {rapport}
}

@techreport{jouannaud95tcs,
  author = {Jean-Pierre Jouannaud and Mitsuhiro Okada},
  topics = {rewriting, team, lri, cclserver},
  location = {jpj, HC 554},
  title = {Abstract Data Type Systems},
  institution = {Laboratoire de Recherche en Informatique},
  type = {Research Report},
  number = 975,
  year = 1995,
  month = jun,
  ftp = {ftp://ftp.lri.fr/LRI/articles/jouannaud/adts.ps.gz},
  abstract = {http://www.lri.fr/~jouannau/abstracts/adts.html},
  type_publi = {interne},
  clef_labo = {975}
}

@techreport{marche95lifac,
  author = {Claude March{\'e}},
  topics = {team, cclserver},
  title = {Associative-Commutative Reduction Orderings via
		  Head-Preserving Interpretations},
  institution = {LIFAC},
  year = 1995,
  number = {95--2},
  address = {E.N.S. de Cachan},
  month = jan,
  x-pdf = {http://www.lri.fr/~marche/articles/lifac-95-2.ps.gz},
  abstract = {http://www.lri.fr/~marche/lifac-95-2.html},
  type_publi = {diffusion}
}