1991-journal.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 1991-journal.cite -ob 1991-journal.bib -c 'year = 1991 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{comon91jsc,
author = {Hubert Comon and Denis Lugiez and Philippe Schnoebelen},
title = {A Rewrite-based Type Discipline for a Subset of
Computer Algebra},
topics = {old-team},
journal = {Journal of Symbolic Computation},
year = 1991,
volume = 11
}
@article{contejean91,
author = {\'Evelyne Contejean and Herv{\'e} Devie},
topics = {old-team},
location = {HC 388},
title = {R{\'e}solution de syst{\`e}mes lin{\'e}aires
d'{\'e}quations diophantiennes},
journal = {Comptes-Rendus de l'Acad{\'e}mie des Sciences de Paris},
year = 1991,
volume = 313,
note = {S{\'e}rie I},
pages = {115-120},
abstract = {
Nous pr\'esentons ici un algorithme pour r\'esoudre les syst\`emes lin\'eaires
homog\`enes d'\'equations diophantiennes de fa\c{c}on directe, \`a l'aide d'une
interpr\'etation g\'eom\'etrique.
}
}