1995-book.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 1995-book.cite -ob 1995-book.bib -c 'year = 1995 and topics : "team" and ($type="book" or $type="inbook" or $type="incollection")' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}
@incollection{fernandez95adt,
author = {Maribel Fern{\'a}ndez and Jean-Pierre Jouannaud},
title = {Modular Termination of Term Rewriting Systems Revisited},
topics = {team, lri, reecriture, cclserver},
booktitle = {Recent Trends in Data Type Specification},
publisher = {Springer},
year = 1995,
editor = {Egidio Astesiano and Gianni Reggio and Andrzej Tarlecki},
series = {Lecture notes in Computer Science, vol.906},
pages = {255-272},
note = {Refereed selection of papers presented at ADT'94},
type_publi = {icolcomlec},
clef_labo = {FJ95E}
}
@incollection{jouannaud93,
author = {Jean-Pierre Jouannaud},
topics = {rewriting, team, lri, cclserver},
title = {Rewrite Proofs and Computations},
booktitle = {Proof and Computation},
publisher = {Springer},
year = 1995,
editor = {Helmut Schwichtenberg},
volume = 139,
series = {F: Computer and Systems Sciences},
pages = {173--218},
note = {NATO Advanced Study Institute, International
Summer School held in Marktoberdorf, Germany, July
20 -- August 1, 1993},
ftp = {ftp://ftp.lri.fr/LRI/articles/jouannaud/rpac.ps.gz},
abstract = {http://www.lri.fr/~jouannau/abstracts/rpac.html},
type_publi = {diffusion},
clef_labo = {Jou95D}
}