1994-journal.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -oc 1994-journal.cite -ob 1994-journal.bib -c 'year = 1994 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{DiCosmo94MSCS,
  author = {Di Cosmo, Roberto and Delia Kesner},
  topics = {team, cclserver, lri},
  title = {Simulating expansions without expansions},
  ftp = {ftp://ftp.lri.fr/LRI/articles/kesner/mscs94.ps.gz},
  journal = {Mathematical Structures in Computer Science},
  volume = 4,
  pages = {315-362},
  year = 1994,
  type_publi = {irevcomlec},
  clef_labo = {DCK94R}
}
@article{beldiceanu94jmcm,
  author = {Nicolas Beldiceanu and \'Evelyne Contejean},
  topics = {team, lri},
  title = {Introducing global constraints in {CHIP}},
  journal = {Journal of {M}athematical and Computer Modelling},
  year = 1994,
  volume = 20,
  number = 12,
  pages = {97--123},
  location = {biblio-equipe},
  abstract = {http://www.lri.fr/~contejea/publis/jmcm94/abstract.html},
  http = {http://dx.doi.org/10.1016/0895-7177(94)90127-9},
  type_publi = {irevcomlec},
  clef_labo = {BC94R}
}
@article{comon94ic,
  topics = {team, lri, cclserver},
  author = {Hubert Comon and Marianne Haberstrau and 
                  Jean-Pierre Jouannaud},
  title = {Syntacticness, Cycle-Syntacticness and Shallow Theories},
  journal = {Information and Computation},
  year = 1994,
  volume = 111,
  number = 1,
  pages = {154--191},
  month = may,
  location = {biblio-equipe},
  ftp = {ftp://ftp.lri.fr/LRI/articles/comon/shallow.ps.Z},
  type_publi = {irevcomlec},
  clef_labo = {CHJ94R}
}
@article{comon94membership,
  author = {Hubert Comon and Catherine Delor},
  topics = {team, lri, cclserver},
  title = {Equational Formulae with Membership Constraints},
  journal = {Information and Computation},
  year = 1994,
  volume = 112,
  number = 2,
  pages = {167--216},
  month = aug,
  ftp = {ftp://ftp.lri.fr/LRI/articles/comon/membership.ps.Z},
  abstract = {http://www.lri.fr/~comon/membership.html},
  type_publi = {irevcomlec},
  clef_labo = {CD94Ra}
}
@article{contejean94ic,
  author = {\'Evelyne Contejean and Herv{\'e} Devie},
  topics = {Diophantine constraints, team, lri, solserver},
  title = {An Efficient Algorithm for Solving Systems of Diophantine
                   Equations},
  journal = {Information and Computation},
  year = 1994,
  volume = 113,
  number = 1,
  month = aug,
  pages = {143--172},
  ftp = {ftp://ftp.lri.fr/LRI/articles/contejean/ic94.ps.gz},
  abstract = {http://www.lri.fr/~contejea/publis/1994ic.html},
  type_publi = {irevcomlec},
  clef_labo = {CD94Rb}
}