2000-journal.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 2000-journal.cite -ob 2000-journal.bib -c 'year = 2000 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{Kesner99tcs,
author = {Delia Kesner},
title = {Confluence of extensional and non-extensional
$\lambda$-calculi
with explicit substitutions},
journal = {Theoretical Computer Science},
volume = 238,
number = {1--2},
pages = {183--220},
type_publi = {irevcomlec},
year = 2000,
ftp = {ftp://ftp.lri.fr/LRI/articles/kesner/explicit.ps.gz},
topics = {team, cclserver, lri},
clef_labo = {Kes99R}
}
@article{CR00,
title = {A pi-calculus machine},
author = {Gabriel Ciobanu and Mihai Rotaru},
journal = {Electronical Journal of Universal Computer Science},
publisher = {Springer},
year = 2000,
volume = 6,
number = 1,
type_publi = {irevcomlec},
topics = {team, lri},
url = {http://www.iicm.edu/jucs_6_1/a_pi_calculus_machine}
}
@article{boudet00dmtcs,
author = {Alexandre Boudet},
title = {{Unification of higher-order patterns modulo simple syntactic
equational theories}},
journal = {Discrete Mathematics and Theoretical Computer Science},
year = 2000,
volume = 4,
number = 1,
pages = {11--30},
topics = {team},
type_publi = {irevcomlec}
}
@article{bouhoula00tcs,
author = {A. Bouhoula and J.-P. Jouannaud and J. Meseguer},
title = {Specification and proof in membership equational logic},
journal = {Theoretical Computer Science},
year = 2000,
volume = 236,
pages = {35--132},
type_publi = {irevcomlec},
topics = {rewriting, team, cclserver, LRI}
}
@article{niehren2000ipl,
author = {Joachim Niehren and Sophie Tison and Ralf Treinen},
title = {On Rewrite Constraints and Context Unification},
journal = {Information Processing Letters},
year = 2000,
volume = 74,
number = {1--2},
pages = {35--40},
ftp = {ftp://ftp.lri.fr/LRI/articles/treinen/ipl2000.ps.gz},
abstract = {http://www.lri.fr/~treinen/publications.html#ipl2000},
topics = {team, lri, constraints, cclserver},
type_publi = {irevcomlec}
}