1993-journal.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 1993-journal.cite -ob 1993-journal.bib -c 'year = 1993 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{boudet93jar,
topics = {unification, team, lri},
author = {Alexandre Boudet},
title = {Competing for the {AC}-unification race},
journal = {Journal of Automated Reasoning},
year = 1993,
volume = 11,
pages = {185--212},
type_publi = {irevcomlec}
}
@article{boudet93jsc,
topics = {unification, team, cclserver, lri},
author = {Alexandre Boudet},
title = {Combining Unification Algorithms},
journal = {Journal of Symbolic Computation},
year = 1993,
volume = 16,
pages = {597--626},
type_publi = {irevcomlec}
}
@article{comon93tcs,
author = {Hubert Comon},
topics = {team, lri, constraints},
title = {Complete axiomatizations of some quotient term algebras},
journal = {Theoretical Computer Science},
year = 1993,
volume = 118,
number = 2,
pages = {167--191},
month = sep,
ftp = {ftp://ftp.lri.fr/LRI/articles/comon/axiomatizations.dvi.Z},
type_publi = {irevcomlec}
}
@article{contejean93jsc,
author = {\'Evelyne Contejean},
topics = {unification, distributivity, team, lri},
title = {Solving {$*$}-problems modulo Distributivity by a
Reduction to {$AC1$}-unification},
journal = {Journal of Symbolic Computation},
year = 1993,
volume = 16,
number = 5,
pages = {493-52},
abstract = {http://www.lri.fr/~contejea/publis/1993jsc/abstract.html},
type_publi = {irevcomlec},
doi = {http://dx.doi.org/10.1006/jsco.1993.1060}
}
@article{puel93jsc,
topics = {team, lri},
author = {Puel, Laurence and Suarez, Ascander},
title = {Compiling pattern matching by term decomposition},
journal = {Journal of Symbolic Computation},
pages = {1--26},
year = 1993,
volume = {15 },
type_publi = {irevcomlec}
}
@article{paulin93u,
author = {Christine Paulin Mohring and Benjamin Werner},
title = {Synthesis of ML programs in the system Coq},
journal = {Journal of Symbolic Computation},
volume = {15},
year = {1993},
pages = {607--640},
topics = {team}
}
@article{paulinjsc92,
author = {Christine Paulin-Mohring and Benjamin Werner},
journal = {Journal of Symbolic Computation},
title = {{Synthesis of ML programs in the system Coq}},
volume = {15},
year = {1993},
pages = {607--640},
topics = {team}
}