1994-journal.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 1994-journal.cite -ob 1994-journal.bib -c 'year = 1994 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{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}
}