1996-journal.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 1996-journal.cite -ob 1996-journal.bib -c 'year = 1996 and topics : "team" and $type="article"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}
@article{DiCosmo96,
author = {Di Cosmo, Roberto and Kesner, Delia},
title = {Combining algebraic rewriting,
extensional lambda calculi, and fixpoints},
journal = {Theoretical Computer Science},
year = 1996,
volume = 169,
number = 2,
pages = {201--220},
type_publi = {irevcomlec},
topics = {team, lri},
clef_labo = {DCK96R}
}
@article{KPT96,
author = {Delia Kesner and Laurence Puel and Val Tannen},
title = {{A} {T}yped {P}attern {C}alculus},
journal = {Information and Computation},
year = 1996,
volume = 124,
pages = {32--61},
number = 1,
month = jan,
publisher = {Academic-Press},
type_publi = {irevcomlec},
topics = {team, lri},
clef_labo = {KPT96R}
}
@article{marche96jsc,
author = {Claude March{\'e}},
topics = {team, lri, cclserver},
title = {Normalized Rewriting: an alternative to Rewriting
modulo a Set of Equations},
journal = {Journal of Symbolic Computation},
year = 1996,
volume = 21,
number = 3,
pages = {253--288},
x-pdf = {http://www.lri.fr/~marche/articles/jsc96.ps.gz},
abstract = {http://www.lri.fr/~marche/jsc96.html},
type_publi = {irevcomlec},
clef_labo = {Mar96R}
}