2000-journal.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -oc 2000-journal.cite -ob 2000-journal.bib -c 'year = 2000 and topics : "team" and $type="article"' /home/marche/biblio/abbrevs.bib /home/marche/biblio/demons.bib /home/marche/biblio/demons2.bib /home/marche/biblio/demons3.bib /home/marche/biblio/team.bib /home/marche/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}
}