1998-conference.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 1998-conference.cite -ob 1998-conference.bib -c 'year = 1998 and topics : "team" and $type="inproceedings"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}
@inproceedings{abdiche98flp,
author = {Mina Abdiche},
title = {On the encoding of $\lambda_{\leq}$ in $\pi_{\leq}$},
booktitle = {7th International workshop on functional and logic
programming (FLP'98)},
year = 1998,
address = {Bad-honnef, Germany},
note = {Proceedings will appear as a technical report of
the University of M{\"u}nster},
month = {April},
topics = {team, lri},
type_publi = {colloque},
clef_labo = {Abd98N}
}
@inproceedings{beldiceanu98informs,
author = {Nicolas Beldiceanu and \'Eric Bourreau and \'Evelyne Contejean},
title = {Solving a Hard Vehicle Routing \& Loading Problem},
booktitle = {Proceedings of the Spring Meeting of the Institute for
Operations Research and the Management Sciences},
year = 1998,
address = {Montreal},
month = apr,
type_publi = {colloque},
topics = {team, lri},
clef_labo = {BBC98N},
abstract = {http://www.lri.fr/~contejea/publis/informs98/abstract.html}
}
@inproceedings{boudet98cade,
author = {Alexandre Boudet and \'Evelyne Contejean},
title = {{About the Confluence of Equational Pattern Rewrite
Systems}},
crossref = {cade98},
type_publi = {icolcomlec},
topics = {team, cclserver, lri},
pages = {88--102},
doi = {http://dx.doi.org/10.1007/BFb0054250},
abstract = {http://www.lri.fr/~contejea/publis/1998cade/abstract.html},
clef_labo = {BC98E}
}
@inproceedings{marche98rta,
author = {Claude March{\'e} and Xavier Urbain},
title = {Termination of Associative-Commutative Rewriting by Dependency Pairs},
crossref = {rta98},
year = 1998,
pages = {241--255},
x-pdf = {http://www.lri.fr/~marche/articles/rta98.ps.gz},
abstract = {http://www.lri.fr/~marche/rta98.html},
type_publi = {icolcomlec},
topics = {team, lri, cclserver},
clef_labo = {MU98E}
}
@inproceedings{treinen98lics,
author = {Martin M{\"u}ller and Joachim Niehren and Ralf Treinen},
title = {The First-Order Theory of Ordering Constraints over
Feature Trees},
crossref = {lics98},
year = 1998,
pages = {432--443},
topics = {team, lri, cclserver, constraints, features},
type_publi = {icolcomlec},
clef_labo = {MNT98E}
}
@inproceedings{dershowitz98rta,
topics = {team, lri, cclserver},
author = {Nachum Dershowitz and Ralf Treinen},
title = {An On-line Problem Database},
crossref = {rta98},
pages = {332--342},
year = 1998,
ftp = {ftp://www.lri.fr/LRI/articles/rtaloop/update-rta98.ps.gz},
type_publi = {icolcomlec},
clef_labo = {DT98E}
}
@inproceedings{walukiewicz98icalp,
author = {Daria Walukiewicz},
title = {A Total {AC}-Compatible Reduction Ordering
on Higher-Order Terms},
booktitle = {{Proceedings of the 25th International Colloquium on
Automata, Languages, and Programming (ICALP'98)}},
editor = {Kim G. Larsen},
series = {Lecture Notes in Computer Science},
volume = 1443,
year = 1998,
organization = {EATCS},
publisher = {Springer},
month = jul,
topics = {team, lri},
clef_labo = {Wal98E},
type_publi = {icolcomlec}
}
@inproceedings{FKP98,
author = {Maria C.F. Ferreira and Delia Kesner and Laurence Puel},
topics = {team, cclserver, lri},
title = {{Reducing AC-Termination to Termination}},
crossref = {mfcs98},
ftp = {ftp://ftp.lri.fr/LRI/articles/kesner/mfcs98.ps.gz},
pages = {239--247},
year = 1998,
type_publi = {icolcomlec},
clef_labo = {FKP98E}
}
@inproceedings{KML98,
author = {Delia Kesner and Pablo E. Mart{\'{\i}}nez L\'opez},
title = {Explicit Substitutions for Objects and Functions},
crossref = {alpplilp98},
pages = {195--212},
year = 1998,
topics = {team, lri, cclserver},
type_publi = {icolcomlec},
clef_labo = {KML98E}
}
@inproceedings{chrzaszcz98mfcs,
author = {Jacek Chrz\k{a}szcz},
title = {Polymorphic Subtyping Without Distributivity},
booktitle = {Mathematical Foundations of Computer Science},
pages = {346--355},
year = 1998,
editor = {Lubos Brim, Josef Gruska, Jiri Zlatuska},
number = 1450,
series = {Lecture Notes in Computer Science},
address = {Brno, Czech Republic},
month = aug,
publisher = {Springer Verlag},
topics = {team, lri, cclserver},
type_publi = {icolcomlec}
}
@inproceedings{jouannaud98rwl,
author = {J.-P. Jouannaud},
title = {Membership Equational Logic, Calculus of Inductive
Constructions, and Rewrite Logic},
booktitle = {In Proc. 2nd Workshop on Rewrite Logic and Applications},
adress = {Pont {\`a} Mousson, France},
year = 1998,
month = sep,
type_publi = {irevcomlec},
topics = {team, LRI}
}
@inproceedings{Filliatre98,
author = {Jean-Christophe Filli\^atre},
title = {{Proof of Imperative Programs in Type Theory}},
booktitle = {Proceedings of the TYPES'98 workshop},
year = 1998,
publisher = {Springer},
volume = 1657,
series = {Lecture Notes in Computer Science},
topics = {team},
url = {https://usr.lmf.cnrs.fr/~jcf/publis/types98.ps.gz},
clef_labo = {Fil98E},
type_publi = {icolcomlec}
}
@proceedings{alpplilp98,
title = {Joint International Symposiums
Programming Languages, Implementations, Logics and
Program (PLILP) and Algebraic and
Logic Programming (ALP)},
booktitle = {Principles of Declarative Programming},
editor = {MCatuscia Palamidessi and Hugh Glaser and Karl Meinke},
month = sep,
year = 1998,
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1490},
address = {Pisa, Italy}
}
@proceedings{cade98,
title = {15th International Conference on Automated Deduction},
booktitle = {15th International Conference on Automated Deduction},
address = {Lindau, Germany},
editor = {C. and H. Kirchner},
year = 1998,
month = jul,
publisher = {Springer},
series = {Lecture Notes in Computer Science},
isbn = {3-540-64675-2},
volume = 1421
}
@proceedings{lics98,
title = {Thirteenth Annual {IEEE} Symposium on Logic in Computer
Science},
booktitle = {Thirteenth Annual {IEEE} Symposium on Logic in Computer
Science},
year = 1998,
month = jun,
editor = {Vaughan Pratt},
address = {Indianapolis, IN, USA},
publisher = {{IEEE} Comp. Soc. Press}
}
@proceedings{mfcs98,
title = {Mathematical Foundations of Computer Science},
booktitle = {Mathematical Foundations of Computer Science},
editor = {Lubos Brim and Jozef Gruska and Jiri Zlatuska},
year = 1998,
month = aug,
address = {Brno, Czech Republic},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
isbn = {3-540-64827-5},
volume = 1450
}
@proceedings{rta98,
title = {9th International Conference on Rewriting Techniques and
Applications},
booktitle = {9th International Conference on Rewriting Techniques and
Applications},
editor = {Tobias Nipkow},
publisher = {Springer},
year = 1998,
month = apr,
address = {Tsukuba, Japan},
series = {Lecture Notes in Computer Science},
volume = {1379}
}